michael@0: if (typeof dis === "function") {
michael@0:     (function() {
michael@0:         function foo() {}
michael@0: 
michael@0:         dis(function bar(e) {
michael@0:             try {
michael@0:                 (function() { e; });
michael@0:             } catch (e) {
michael@0:                 foo();
michael@0:             }
michael@0:         });
michael@0:     }());
michael@0: }