Definition serializeIndex (i : indexArrayT) : list octet :=
  serializeIndexAux (indexElements i) (indexElementType i).
