test/VC/UniqueElementTypeDeclaration2 - third_party/libxml2 - Git at Google

 <?xml version="1.0"?>
 <!DOCTYPE a [
 <!ELEMENT a (#PCDATA | b | c)*>
 <!ELEMENT b (#PCDATA)>
 <!ELEMENT c (#PCDATA)>
 <!ELEMENT a (#PCDATA | b | c)*>
 ]>
 <a> violates [ VC: Unique Element Type Declaration ] </a>
	<?xml version="1.0"?>
	<!DOCTYPE a [
	<!ELEMENT a (#PCDATA \| b \| c)*>
	<!ELEMENT b (#PCDATA)>
	<!ELEMENT c (#PCDATA)>
	<!ELEMENT a (#PCDATA \| b \| c)*>
	]>
	<a> violates [ VC: Unique Element Type Declaration ] </a>