michael@0: function f0() {
michael@0:     var v0 = 0.1;
michael@0:     while (0) {
michael@0:         v0 = v0 + 1.7;
michael@0:     }
michael@0: }
michael@0: f0();