18bd1239be
1 2 3 4 5 6 7 8
BadValueAssignment1 DEFINITIONS ::= BEGIN int INTEGER ::= 3 int2 integer ::= 3 END