--- /dev/null
+
+-- OK: Everything is fine
+
+-- iso.org.dod.internet.private.enterprise (1.3.6.1.4.1)
+-- .spelio.software.asn1c.test (9363.1.5.1)
+-- .146
+
+ModuleInformationObjectParameterizationPER
+ { iso org(3) dod(6) internet (1) private(4) enterprise(1)
+ spelio(9363) software(1) asn1c(5) test(1) 146 }
+ DEFINITIONS ::=
+BEGIN
+
+ MYID ::= CLASS {
+ &id INTEGER UNIQUE,
+ &Type
+ } WITH SYNTAX {&Type IDENTIFIED BY &id}
+
+ RegionalExtension MYID ::= {
+ {INTEGER IDENTIFIED BY 1} |
+ {BOOLEAN IDENTIFIED BY 2},
+ ...
+ }
+
+ Message ::= SEQUENCE {
+ content SpecializedContent {{RegionalExtension}}
+ }
+
+ SpecializedContent {MYID : Set} ::= SEQUENCE {
+ id MYID.&id({Set}),
+ value MYID.&Type({Set}{@id})
+ }
+
+END