f4f112c673
1 2 3 4 5 6 7
ImportsFrom2 DEFINITIONS AUTOMATIC TAGS ::= BEGIN IMPORTS Int FROM ImportsFrom3; LocalDef ::= OCTET STRING END