michael@0: // Binary: cache/js-dbg-64-fecae145d884-linux
michael@0: // Flags: -m -n -a
michael@0: //
michael@0: 
michael@0: function foo(x) {
michael@0:   x === x--;
michael@0: }
michael@0: foo(1.2);