
  FUNCTION [INLINE] bai$static_label
    (    file_instance: ^bat$task_file_entry): ^bat$instance_static_attributes;

?? PUSH (LISTEXT := ON) ??

{ The purpose of this request is to return a pointer to the
{ static label for the current instance of open of the file.

    bai$static_label := ^file_instance^.instance_attributes.static_label;

  FUNCEND bai$static_label;

*copyc bat$task_file_table
?? POP ??
