michael@0: for(var i=0; i<20; i++) {
michael@0:     var x = 5e-324;
michael@0: }
michael@0: /* Don't crash. */