function initGlobals159() { 
}


function main573() { 
    initGlobals159();
    init_test589();
}


function config115() { 
}


function init_test589() { 
    foo635(3);
    foo635(4);
}


function foo635(integer x107) returns integer { 
    if (x_107 > 0) {
        return x_107;
    } else {
        return (- x_107);
    };
}