Symbol: rx_timestamp_work