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