michael@0: function f() {
michael@0:     var x = undefined ? 1 : 4294967295;
michael@0:     print(false || x);
michael@0: }
michael@0: f();