elsehead
ps.p_stack[ps.tos] = elsehead;
case elsehead:
if (ps.p_stack[ps.tos] == elsehead && ps.else_if) /* "else if ..." */