Symbol: verify_rx_id_list_and_send_ack