Definition serializeStructureValue (s : structureValueT) : list octet :=
  serializeComponentValues (structureComponentValues s).
