
  PROCEDURE [XREF] nap$open_di_load_file
    (    object_code_version: nat$object_code_version_string;
         boot_card: nat$card_type;
     VAR load_file_id: amt$file_identifier;
     VAR load_data: ^SEQ ( * );
     VAR load_file_opened: boolean;
     VAR status: ost$status);

?? PUSH (LISTEXT := ON) ??
*copyc amt$file_identifier
*copyc nat$object_code_version
*copyc ost$status
?? POP ??
