
  TYPE
    bat$next_position_control_info = record
      file_section_number: 1 .. 9999,
      file_sequence_number: 1 .. 9999,
    recend;
