SidelinkUEInformation-r12 ::= SEQUENCE { criticalExtensions CHOICE { c1 CHOICE { sidelinkUEInformation-r12 SidelinkUEInformation-r12-IEs, spare3 NULL, spare2 NULL, spare1 NULL }, criticalExtensionsFuture SEQUENCE {} } }