  FUNCTION [INLINE] bap$after_trailer_labels
    (    labeled_volume_position: bat$labeled_volume_position): boolean;

?? PUSH (LISTEXT := ON) ??

    bap$after_trailer_labels := labeled_volume_position IN
          $bat$labeled_volume_positions [bac$lvp_after_trailer_labels,
          bac$lvp_end_of_file_set, bac$lvp_end_of_volume_list];

  FUNCEND bap$after_trailer_labels;

*copyc bat$labeled_volume_positions
?? POP ??
