michael@0: 
michael@0: function f() {
michael@0:     try {} catch (x) {
michael@0:         return;
michael@0:     } finally {
michael@0:         null.x;
michael@0:     }
michael@0: }
michael@0: 
michael@0: try {
michael@0:     f();
michael@0: } catch (x) {}