Definition fileSectionMetadata : FileSectionDescriptionT :=
  FileSectionDescription
    (tagOfZ (Z.of_N metadataSectionIdentifier))
    FSO_AnyOrder
    FSC_ZeroToOne.
