Definition binaryClipsDescriptionSection (c : list clip) : binaryExp :=
  let text     := jsonSerializeString (jsonClips c) in
  let textUTF8 := utf8 text in
    BiRecord [
      ("id",   u64 0x4155524D43444553);
      ("size", u64 (binarySizePadded16 textUTF8));
      ("data", textUTF8)
    ].
