{ try { a(); } catch (e if e == null) { b(); } finally { c(); } 
{ try { a(); } catch (e if e == null) { b(); } finally { c(); 
  function f(a, b, c)    {      try {        a();      } catch (e if e == null) {        b();      } finally {        c();      }    }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-350312-02.js/clean/js/tests/js1_5/extensions/regress-350312-02.js