Symbol: iv_to_state