Definition binaryKeyAssignmentsSection (c : list keyAssignment) : binaryExp :=
  let text     := jsonSerializeString (jsonKeyAssignments c) in
  let textUTF8 := utf8 text in
    BiRecord [
      ("id",   u64 0x4155524D4b455953);
      ("size", u64 (binarySizePadded16 textUTF8));
      ("data", textUTF8)
    ].
