2 -- OK: Everything is fine
4 -- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
5 -- .spelio.software.asn1c.test (9363.1.5.1)
10 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
11 spelio(9363) software(1) asn1c(5) test(1) 13 1 }
14 IMPORTS IntegerType, beta FROM
16 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
17 spelio(9363) software(1) asn1c(5) test(1) 13 2 };
20 alpha IntegerType ::= beta
21 alpha2 Renamed.IntegerType ::= beta
24 -- The following are for post-fix checking by the check_fixer.
25 -- It will be able to pick-up these values if the file is parseable,
26 -- even if it contains some semantic errors.
29 check-alpha INTEGER ::= 123
30 check-alpha2 INTEGER ::= 123
35 { iso org(3) dod(6) internet(1) private(4) enterprise(1)
36 spelio(9363) software(1) asn1c(5) test(1) 13 2 }
39 EXPORTS beta, IntegerType ;
41 beta HiddenType ::= 123
43 HiddenType ::= INTEGER
45 IntegerType ::= INTEGER