Lemma u16Size2 : forall v, length (serializeValue (ValueIntegerU16Vec2 v)) = 4%nat.
