michael@0: function F() {
michael@0:     try {
michael@0: 	var T = {};
michael@0:         throw 12;
michael@0:     } catch (e) {
michael@0: 	// Don't throw.
michael@0:         T.x = 5;
michael@0:     }
michael@0: }
michael@0: F();
michael@0: F();
michael@0: F();