michael@0: function f0() {
michael@0:     var v0;
michael@0:     if ((v0 ^ v0) + 1) {
michael@0: 		return 3;
michael@0: 	} else {
michael@0: 		return 4;
michael@0: 	}
michael@0: }
michael@0: assertEq(f0(), 3);