MIN_RXMT_INTERVAL
if ($2 < MIN_RXMT_INTERVAL || $2 > MAX_RXMT_INTERVAL) {
"(%d-%d)", MIN_RXMT_INTERVAL,