DRX-ConfigExt-v1700 ::= SEQUENCE { drx-HARQ-RTT-TimerDL-r17 INTEGER (0..448), drx-HARQ-RTT-TimerUL-r17 INTEGER (0..448) }