Definition infoSection (info: infoT) : list (string * binaryExp) :=
  let jsonText   := jsonSerializeString (jsonInfo info) in
  let jsonExp    := UTF8 jsonText                       in
  let jsonOctets := binaryExpOctets jsonExp             in
  let textSize   := lengthN jsonOctets                  in
  let sizeSum    := 16 + textSize                       in
  let pad        := Pad (sizePad sizeSum)               in
  [
    ("ID",       U64 infoSectionIdentifier);
    ("DataSize", U64 textSize);
    ("JsonData", jsonExp);
    ("Padding",  pad)
  ].
