Definition fileDescription1 : FileDescriptionT :=
  FileDescription 
  tagFileIdentifier
  1
  0
  [fileSectionInfo; fileSectionIndex; fileSectionData; fileSectionMetadata]
  tagSectionEndIdentifier
  UnknownSectionsPermitted
  .
