Definition dataSection (data : list structureValueT) : list (string * binaryExp) :=
  let outData     := serializeStructureValues data in
  let outDataSize := lengthN outData               in
  let sizeSum     := 16 + outDataSize              in
  let pad         := Pad (sizePad sizeSum)         in
  [
    ("ID",       U64 dataSectionIdentifier);
    ("DataSize", U64 outDataSize);
    ("Data",     Octets outData);
    ("Padding",  pad)
  ].
