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