18bd1239be
1 2 3 4 5 6 7 8 9
BadValueSet DEFINITIONS ::= BEGIN Int INTEGER ::= {1|2|3} Int2 INTEGER ::= { 1,2,3} END