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: test();
michael@0: 
michael@0: function test()
michael@0: {
michael@0:   var counter = 0;
michael@0:   function f(x,y) {
michael@0:       try
michael@0:       { 
michael@0:         throw 42;
michael@0:       }
michael@0:       catch(e2)
michael@0:       { 
michael@0:         foo(function(){ return x; }| "9.2" && 5 || counter && e);
michael@0:         ++counter;
michael@0:       }
michael@0:   }
michael@0: 
michael@0:   f(2, 1);
michael@0: }
michael@0: 
michael@0: function foo(bar) { return ""+bar; }
michael@0: 
michael@0: reportCompare(0, 0, "ok");