michael@0: // Don't assert.
michael@0: function f0(p0) {
michael@0:     var v0 = 0 < 0;
michael@0:     var v1;
michael@0:     v1 + p0;
michael@0:     if (v0)
michael@0:         v1 = p0 | 0;
michael@0: }
michael@0: f0(5000);
michael@0: