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