function initGlobals174() { 
}


function main123() { 
    initGlobals174();
    if (foo640(7531) == 7) {
        testSuccess963();
    } else {
    };
}


function config150() { 
}


function foo640(integer x157) returns integer { 
    local integer x616
    local integer x210
    local integer x831
    if (x_157 > 1000) {
        x_616 = x_157;
        return foo640((x_616 div 1000));
    } else {
    };
    if (x_157 > 100) {
        x_210 = x_157;
        return foo640((x_210 div 100));
    } else {
    };
    if (x_157 > 10) {
        x_831 = x_157;
        return foo640((x_831 div 10));
    } else {
    };
    return x_157;
}


IS_NATIVE function testSuccess963() { 
}