
  PROCEDURE [XREF] dmp$terminate_server_file_list
    (    global_file_name_list: array [1 .. * ] of dmt$global_file_name;
     VAR files_terminated: ost$non_negative_integers;
     VAR files_not_terminated: ost$non_negative_integers);

?? PUSH (LISTEXT := ON) ??
*copyc dmt$global_file_name
*copyc osd$integer_limits
?? POP ??
