
  TYPE
    ost$cpu_state = RECORD
      current_state,
      next_state: ost$cpu_running_or_stepped,
    RECEND,

    ost$cpu_running_or_stepped = (osc$cpu_running, osc$cpu_stepped);

