any_opid
if (curr_state == any_opid && event == sched_need_resched_opid)
else if (curr_state == any_opid && event == sched_waking_opid)
{ any_opid, any_opid },
.initial_state = any_opid,