Lemma s8Size1 : forall v, length (serializeValue (ValueIntegerS8 v)) = 1%nat.
