Go (Program_state),                                                            /* ?!.. */
{                 
  PSTEPPROC Go = NextStep (Program_state, Event);
};
