Symbol: dfx_rcv_queue_process