M2 DEFINITIONS EXPLICIT TAGS ::= BEGIN IMPORTS T1 FROM M1; T3 ::= T2{T1} T2{X} ::= SEQUENCE {a INTEGER, b X } END