PUSCH-ConfigDedicatedScell-v1530 ::= SEQUENCE { uci-OnPUSCH-r15 CHOICE { release NULL, setup SEQUENCE { betaOffsetAUL-r15 INTEGER (0..15) } } }