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