Lemma s16Size1 : forall v, length (serializeValue (ValueIntegerS16 v)) = 2%nat.
