ModuleKnownExternType { iso org(3)
	dod(6) internet(1) private(4)
	enterprise(1) spelio(9363)
	software(1) asn1c(5) test(1)
	45 }
DEFINITIONS ::=
BEGIN

Type ::= KnownExt

END