Fixpoint serializeStructureValues (vs : list structureValueT) : list octet :=
  match vs with
  | []        => []
  | (s :: ss) => serializeStructureValue s ++ serializeStructureValues ss
  end.
