PUSCH-ConfigDedicated-v1130 ::= SEQUENCE { pusch-DMRS-r11 CHOICE { release NULL, setup SEQUENCE { nPUSCH-Identity-r11 INTEGER (0..509), nDMRS-CSH-Identity-r11 INTEGER (0..509) } } }