Lemma integerU32Vec2TWFDecidable : forall (t : integerU32Vec2T), {integerU32Vec2TWF t}+{~integerU32Vec2TWF t}.
