  PROCEDURE [XREF] dfp$get_job_server_state
    (    mainframe_id: pmt$binary_mainframe_id;
     VAR server_found: boolean;
     VAR server_lifetime: dft$lifetime);
?? PUSH (LISTEXT := ON) ??
*copyc pmt$binary_mainframe_id
*copyc dft$lifetime
?? POP ??
