
  PROCEDURE [XREF] pmp$validate_previous_save_area
    (    current_save_area: ^ost$stack_frame_save_area;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc ost$stack_frame_save_area
*copyc ost$status
*copyc pme$condition_exceptions
?? POP ??
