function initGlobals188() { 
}


function main165() { 
    initGlobals188();
    if (foo176(7531) == 7) {
        testSuccess870();
    } else {
    };
}


function config168() { 
}


function foo176(integer x130) returns integer { 
    if (x_130 > 1000) {
        return foo176((x_130 div 1000));
    } else {
    };
    if (x_130 > 100) {
        return foo176((x_130 div 100));
    } else {
    };
    if (x_130 > 10) {
        return foo176((x_130 div 10));
    } else {
    };
    return x_130;
}


IS_NATIVE function testSuccess870() { 
}