ExtensionDefault 233 source4/heimdal/lib/asn1/parse.y ModuleDefinition: IDENTIFIER objid_opt kw_DEFINITIONS TagDefault ExtensionDefault ExtensionDefault 248 source4/heimdal/lib/asn1/parse.y ExtensionDefault: kw_EXTENSIBILITY kw_IMPLIED