Lemma u16Size3 : forall v, length (serializeValue (ValueIntegerU16Vec3 v)) = 6%nat.
