Definition binaryManifestSection (m : ManifestT) : binaryExp := 
  let text := utf8 (xmlSerializationOf m) in
    BiRecord [
      ("id",   u64 0x4D54505F4D414E49);
      ("size", u64 (binarySize text));
      ("text", text)
    ].
