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