Lemma integerS32Vec2TWFDecidable : forall (t : integerS32Vec2T), {integerS32Vec2TWF t}+{~integerS32Vec2TWF t}.
