
  FUNCTION [INLINE] bai$state_info
    (    file_instance: ^bat$task_file_entry): ^bat$labeled_tape_state_info;

?? PUSH (LISTEXT := ON) ??

{ The purpose of this request is to return a pointer to the
{ labeled tape state info for the current instance of open of the
{ file.

    VAR
      state_info: ^bat$labeled_tape_state_info;

    bai$state_info := ^file_instance^.labeled_tape_state_info;

  FUNCEND bai$state_info;

*copyc bat$task_file_table
*copyc bat$labeled_tape_state_info
?? POP ??
