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