integer wurst_stack_depth133 = 0


function initGlobals539() { 
}


function main406() { 
    initGlobals539();
    if (foo168(7531) == 7) {
        testSuccess110();
    } else {
    };
}


function config209() { 
}


function foo168(integer x547) returns integer { 
    if (x_547 > 1000) {
        return foo168((x_547 div 1000));
    } else {
    };
    if (x_547 > 100) {
        return foo168((x_547 div 100));
    } else {
    };
    if (x_547 > 10) {
        return foo168((x_547 div 10));
    } else {
    };
    return x_547;
}


IS_NATIVE function testSuccess110() { 
}