Lemma integerU16Vec3TWFDecidable : forall (t : integerU16Vec3T), {integerU16Vec3TWF t}+{~integerU16Vec3TWF t}.
