
  FUNCTION [INLINE] bai$gfi
    (    file_instance: ^bat$task_file_entry): ^bat$global_file_information;

?? PUSH (LISTEXT := ON) ??
{ The purpose of this request is to return a pointer to the
{ global file information for the current instance of open
{ of the file.

    bai$gfi := file_instance^.global_file_information;

  FUNCEND bai$gfi;

*copyc bat$task_file_table
?? POP ??
