Definition binaryExpFileHeader : binaryExp :=
  BiRecord [
    ("id",           u64 0x894D54500D0A1A0A);
    ("versionMajor", u32 1);
    ("versionMinor", u32 0)
  ].
