Definition structureSizeOctets (s : structureT) : nat :=
  let types := map componentType (structureComponents s) in
  let sizes := map componentTypeSizeOctets types in
    List.fold_right (fun x y => x + y) 0 sizes.
