Lemma s8Size3 : forall v, length (serializeValue (ValueIntegerS8Vec3 v)) = 3%nat.
