libxml2 2.9.1
1: ./test/VC/UniqueElementTypeDeclaration2:6: validity error : Redefinition of element a 2: <!ELEMENT a (#PCDATA | b | c)*> 3: ^