Symbol: rx_disc_cnt_t