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