Lemma integerU16Vec4TWFDecidable : forall (t : integerU16Vec4T), {integerU16Vec4TWF t}+{~integerU16Vec4TWF t}.
