Symbol: rx_pkt