next_state_rec