  PROCEDURE [XREF] dfp$verify_all_sdtxs_recovered
    (    server_mainframe_id: pmt$binary_mainframe_id);
?? PUSH (LISTEXT := ON) ??
*copyc pmt$binary_mainframe_id
?? POP ??
