Definition tagFileIdentifier : TagT :=
  tagOfZ (Z.of_N fileIdentifier).
