1Maps DEFINITIONS AUTOMATIC TAGS ::=
2BEGIN
3
4XY ::= SEQUENCE { x INTEGER DEFAULT 0, y INTEGER DEFAULT 0 }
5
6xy1 XY ::= { x 42, y 17 }
7xy2 XY ::= { }
8xy3 XY ::= { y 999 }
9
10S ::= SEQUENCE {
11  xy XY DEFAULT { x 100, y 100 },
12  os OCTET STRING OPTIONAL
13}
14
15s1 S ::= {}
16
17END
18