__export ShouldSucceed w;
1 w :: PrelNum.Integer ;