Definition indexSectionIdentifier : N :=
  0x5A4E525F494E4458.
