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