1NullTest DEFINITIONS ::=
2BEGIN
3
4NullTestData ::= SEQUENCE {
5  body  NullBody,
6  tail  INTEGER
7}
8
9NullBody ::= CHOICE {
10  null    [0] NULL,
11  notNull [1] INTEGER
12}
13
14END
15