Definition tagSectionEndIdentifier : TagT :=
  tagOfZ (Z.of_N endSectionIdentifier).
