IMP DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

T ::= INTEGER

END