Definition binaryExpMetadataSection (m : metadata) : binaryExp :=
  let text     := jsonSerializeString (jsonMetadata m) in
  let textUTF8 := utf8 text in
    BiRecord [
      ("id",   u64 0x4155524D4D455441);
      ("size", u64 (binarySizePadded16 textUTF8));
      ("data", textUTF8)
    ].
