michael@0: /*
michael@0:  * Any copyright is dedicated to the Public Domain.
michael@0:  * http://creativecommons.org/licenses/publicdomain/
michael@0:  */
michael@0: 
michael@0: function f(x) {
michael@0:     delete arguments[0];
michael@0:     for(var i=0; i<20; i++) {
michael@0:         arguments[0] !== undefined;
michael@0:     }
michael@0: }
michael@0: 
michael@0: /* Don't crash. */
michael@0: f(1);
michael@0: 
michael@0: reportCompare(0, 0, "ok");