
  PROCEDURE [XREF] pmp$execute_procedure
    (    starting_procedure: pmt$user_program;
         parameters: pmt$program_parameters;
         critical_frame: ^ost$stack_frame_save_area;
     VAR task_id: pmt$task_id;
     VAR task_status: pmt$task_status;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc ost$stack_frame_save_area
*copyc ost$status
*copyc pme$execution_exceptions
*copyc pme$program_services_exceptions
*copyc pmt$program_parameters
*copyc pmt$task_id
*copyc pmt$task_status
*copyc pmt$user_program
?? POP ??
