
  PROCEDURE [XREF] cmp$unmark_element_reserved
    (    element_reservation: cmt$element_reservation;
         job_name: jmt$system_supplied_name;
         system_caller: boolean;
         table_index: integer;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc cmt$element_reservation
*copyc jmt$system_supplied_name
*copyc ost$status
?? POP ??
