function f0(p0) {
    var v0 = 4558;
    var v1;
    var v2;
    loop0: while (((v2 + p0) & p0)) {
        v2 = (p0 | p0);
    }
}
assertEq(f0(7852), undefined);