Definition serializeIndexValue (t : indexTypeT) (v : Z) : list octet :=
  match t with
  | INDEX_8  => octets8 v
  | INDEX_16 => octets16BE v
  | INDEX_32 => octets32BE v
  end.
