1UPERDefault DEFINITIONS AUTOMATIC TAGS ::=
2
3BEGIN
4
5-- OTP-7681
6Int ::= INTEGER (0..32767)
7
8Seq ::= SEQUENCE {
9  a Int,
10  b INTEGER (-27..27) DEFAULT 0, -- OTP-7678
11  c INTEGER OPTIONAL
12}
13
14seq Seq ::=
15{a 12,
16 b 0}
17
18END