Symbol: rxe_read