Seq DEFINITIONS AUTOMATIC TAGS ::=

BEGIN

A ::= SEQUENCE {
  a  INTEGER DEFAULT 15,
  b  [0] B DEFAULT {a  12, b  TRUE}
}

C ::= [11] EXPLICIT D
B ::= [12] C
D ::= SEQUENCE {
  a  INTEGER,
  b  BOOLEAN
}

F ::= CHOICE {
  fa INTEGER,
  fb E
}

E ::= SEQUENCE {
  a INTEGER,
  b SEQUENCE OF D,
  c BOOLEAN OPTIONAL,
  d CHOICE {
    a SEQUENCE OF A,
    b INTEGER
  }
}


END
