1NoImport DEFINITIONS AUTOMATIC TAGS ::= 2 3BEGIN 4 5IMPORTS 6 Typ 7 FROM IMP; 8 9 10Seq2 ::= SEQUENCE { 11 a Typ, 12 b INTEGER} 13 14END 15