./test/VC/Enumeration:5: validity error: Value "v4" for attribute val of doc is not among the enumerated set
<doc val="v4"></doc>
             ^