
  TYPE
    fst$supplied_file_set_position = (fsc$fsp_file_identifier,
          fsc$fsp_generation_number, fsc$fsp_file_sequence_number),

    fst$supplied_file_set_positions = set of fst$supplied_file_set_position;
