SL-DiscTxResourceReq-r13 ::= SEQUENCE { carrierFreqDiscTx-r13 INTEGER (1..maxFreq) OPTIONAL, discTxResourceReq-r13 INTEGER (1..63) }