michael@0: // don't crash
michael@0: for (var a = 0; a < 4; a++) {
michael@0:   switch (NaN) {}
michael@0: }