
  PROCEDURE [XREF] jmp$verify_inactive_server
    (    server_mainframe_id: pmt$binary_mainframe_id;
     VAR server_inactive: boolean);

?? PUSH (LISTEXT := ON) ??
*copyc pmt$binary_mainframe_id
?? POP ??
