Symbol: wait_for_rx_id_list