  PROCEDURE [XREF] dfp$set_terminated_access_state
    (    server_mainframe_id: pmt$binary_mainframe_id);

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