Symbol: rx_header