f = function() { window.foo getter = function() { return 5; }; print(window.foo); 
f = function() { window.foo getter = function() { return 5; }; print(window.foo); 
  var f;  f = function() {     window.foo getter = function() { return 5; };     print(window.foo);   }
5459	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5459/3703c3c05f398a63e55992f7687ef65273b26d6a/regress-349616.js/clean/js/tests/js1_5/extensions/regress-349616.js