Definition metadataSection (m : metadataT) : list (string * binaryExp) :=
  let json       := metadataToJsonString m  in
  let jsonOctets := stringUTF8Bytes json    in
  let textSize   := lengthN jsonOctets      in
  let dataSize   := textSize                in
  let sizeSum    := 16 + dataSize           in
  let pad        := Pad (sizePad sizeSum)   in
  [
    ("ID",       U64 metadataSectionIdentifier);
    ("DataSize", U64 dataSize);
    ("JsonData", Octets jsonOctets);
    ("Padding",  pad)
  ].
