Symbol: set_hyp_state