Lemma integerS16Vec3TWFDecidable : forall (t : integerS16Vec3T), {integerS16Vec3TWF t}+{~integerS16Vec3TWF t}.
