  PROCEDURE [XREF] dfp$execute_state_change_task
    (    mainframe_name: pmt$mainframe_id;
         partner_is_server: boolean;
         old_state: dft$server_state;
         new_state: dft$server_state;
         wait: ost$wait;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc pmt$mainframe_id
*copyc dft$server_state
*copyc ost$wait
*copyc ost$status
?? POP ??
