Symbol: rx_state_ensure