BASIC { }

DEFINITIONS EXPLICIT TAGS ::=

BEGIN

Any ::= ANY

ObjectIdentifier ::= OBJECT IDENTIFIER

END