Lemma integerU8Vec3TWFDecidable : forall (t : integerU8Vec3T), {integerU8Vec3TWF t}+{~integerU8Vec3TWF t}.
