Lemma integerS32Vec3TWFDecidable : forall (t : integerS32Vec3T), {integerS32Vec3TWF t}+{~integerS32Vec3TWF t}.
