
  PROCEDURE [XREF] cmp$process_state_change (
          tape_element: boolean;
          system_call : BOOLEAN;
          element_descriptor : cmt$element_descriptor;
          system_critical_element : boolean;
          current_state: cmt$element_state;
          new_state : cmt$element_state;
      VAR status : ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc cmt$element_descriptor
*copyc cmt$element_state
*copyc ost$status
*copyc ost$wait
?? POP ??
