Symbol: rx_pkt_end