Convert this one to an out parameter, to match state_manager_pop.