function initGlobals522() { 
}


function main145() { 
    local integer a109
    local integer b535
    local integer c643
    local integer d336
    initGlobals522();
    a_109 = 1;
    d_336 = a_109;
    c_643 = ((d_336 + 2) + 3);
    b_535 = (c_643 + 4);
    if (b_535 == 10) {
        testSuccess169();
    } else {
    };
}


function config171() { 
}


IS_NATIVE function testSuccess169() { 
}