ModuleTestConstraint {iso(-1) org(3) dod(6) internet(1) private(4) enterprise(1) spelio(9363) software(1) asn1c(5) test(1) 16 } DEFINITIONS ::= BEGIN Type1 ::= IA5String (SIZE (1..10,...))(FROM ("a".."z"|"#")) Type2 ::= IA5String (SIZE (MIN..4)|FROM ("abc")) Type3 ::= BMPString (SIZE (1)) Type4 ::= INTEGER (1..MAX) Type5 ::= BOOLEAN (TRUE|FALSE) v1 Type1 ::= "#value with ""double quotes""" END