michael@0: function bug673705() {
michael@0:   var x;
michael@0:   try {
michael@0:   } catch (e) {
michael@0:   } finally {
michael@0:     print(x);
michael@0:   }
michael@0:   return x;
michael@0: }
michael@0: assertEq(bug673705(), undefined);