Definition fileSectionData : FileSectionDescriptionT :=
  FileSectionDescription
    (tagOfZ (Z.of_N dataSectionIdentifier))
    FSO_AnyOrder
    FSC_One.
