function initGlobals141() { 
}


function main961() { 
    initGlobals141();
    if (foo776(7531) == 7) {
        testSuccess166();
    } else {
    };
}


function config159() { 
}


function foo776(integer x381) returns integer { 
    if (x_381 > 1000) {
        return foo776((x_381 div 1000));
    } else {
    };
    if (x_381 > 100) {
        return foo776((x_381 div 100));
    } else {
    };
    if (x_381 > 10) {
        return foo776((x_381 div 10));
    } else {
    };
    return x_381;
}


IS_NATIVE function testSuccess166() { 
}