var f = function () { 
var f = function () { 
  var f = function () {     try { } catch(x if true) { } catch(y) { } finally { this.a.b; } };
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-374589.js/buggy/js/tests/js1_5/extensions/regress-374589.js