Lemma integerS16Vec2TWFDecidable : forall (t : integerS16Vec2T), {integerS16Vec2TWF t}+{~integerS16Vec2TWF t}.
