ModuleTestResolver2 { iso org(3) dod(6) internet(1) private(4) enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 14 1 } DEFINITIONS ::= BEGIN alpha Enumeration ::= 2 other Enumeration ::= 1 Struct ::= SEQUENCE { member1 [1] EXPLICIT ModuleTestResolver3.Enumeration OPTIONAL, member2 [2] EXPLICIT OtherModuleRenamed.Enumeration DEFAULT 2 } check-alpha INTEGER ::= 2 check-other INTEGER ::= 1 END ModuleTestResolver3 { iso org(3) dod(6) internet(1) private(4) enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 14 2 } DEFINITIONS ::= BEGIN beta HiddenEnum ::= 2 Enumeration ::= ENUMERATED { a(1), b(2) } END HiddenModule { iso org(3) dod(6) internet(1) private(4) enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 14 3 } DEFINITIONS ::= BEGIN HiddenEnum ::= ENUMERATED { a(1), b(2) } gamma Enumeration ::= 1 END