Lemma integerU64Vec3TWFDecidable : forall (t : integerU64Vec3T), {integerU64Vec3TWF t}+{~integerU64Vec3TWF t}.
