1Fragmented DEFINITIONS AUTOMATIC TAGS ::=
2BEGIN
3
4FUNCTION ::= CLASS {
5  &code INTEGER UNIQUE,
6  &b BOOLEAN,
7  &ArgumentType
8}
9
10SS ::= SEQUENCE OF OCTET STRING
11
12val1 FUNCTION ::= {
13  &code 1, &b FALSE, &ArgumentType SS
14}
15
16ObjSet FUNCTION ::= { val1 }
17
18PDU ::= SEQUENCE {
19  code FUNCTION.&code ({ObjSet}),
20  b FUNCTION.&b ({ObjSet}{@code}),
21  arg FUNCTION.&ArgumentType ({ObjSet}{@code})
22}
23
24END
25