Symbol: rx_seq_ok