Definition endSectionIdentifier : N :=
  0x5A4E525F454E4421.
