Fixpoint serializeIndexAux (i : list Z) (t : indexTypeT) : list octet :=
  match i with
  | []      => []
  | x :: xs => (serializeIndexValue t x) ++ serializeIndexAux xs t
  end.
