*IF NOT $true(osv$unix)
?? PUSH (CHKALL := OFF) ??
  IF (bav$task_file_table <> NIL)
  {} AND (file_identifier.ordinal >= 1)
  {} AND (file_identifier.ordinal <= bav$last_tft_entry)
  {} AND (file_identifier.sequence > 0)
  {} AND (file_identifier.sequence =
           bav$task_file_table^ [file_identifier.ordinal].sequence_number) THEN
    file_instance := ^bav$task_file_table^ [file_identifier.ordinal];
    file_id_is_valid := TRUE;
  ELSE
    file_id_is_valid := FALSE;
    file_instance := NIL;
  IFEND;
?? POP ??
*ELSE
  IF (file_identifier < 0) OR (file_identifier > amc$max_file_id_ordinal) THEN
    osp$set_status_abnormal ('AM', ame$improper_file_id, interface_name, status);
  IFEND;
*IFEND
