Lemma integerS64Vec4TWFDecidable : forall (t : integerS64Vec4T), {integerS64Vec4TWF t}+{~integerS64Vec4TWF t}.
