michael@0: function f() {
michael@0:     var x;
michael@0:     for (var a = 0; a < 4; a++) {
michael@0: 	switch (NaN) {
michael@0: 	default:
michael@0: 	    x = a;
michael@0: 	}
michael@0:     }
michael@0:     assertEq(x, 3);
michael@0: }
michael@0: 
michael@0: f();