
  PROCEDURE [XREF] dfp$get_highest_sf_lifetime
    (    server_mainframe_id: pmt$binary_mainframe_id;
     VAR server_found: boolean;
     VAR server_state: dft$server_state;
     VAR highest_server_lifetime: dft$server_lifetime;
     VAR server_birthdate: integer);

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