NullTest DEFINITIONS ::=
BEGIN

NullTestData ::= SEQUENCE {
  body  NullBody,
  tail  INTEGER
}

NullBody ::= CHOICE {
  null    [0] NULL,
  notNull [1] INTEGER
}

END