Symbol: rxe_receiver