BadValueAssignment2  DEFINITIONS ::=
BEGIN

int INTEGER ::= 3

int2 ::= 3

END