Lemma integerU16Vec2TWFDecidable : forall (t : integerU16Vec2T), {integerU16Vec2TWF t}+{~integerU16Vec2TWF t}.
