Lemma u64Size3 : forall v, length (serializeValue (ValueIntegerU64Vec3 v)) = 24%nat.
