function initGlobals209() { 
}


function main943() { 
    local integer a158
    local integer b348
    local integer c363
    local integer d203
    initGlobals209();
    a_158 = 1;
    d_203 = a_158;
    c_363 = ((d_203 + 2) + 3);
    b_348 = (c_363 + 4);
    if (b_348 == 10) {
        testSuccess123();
    } else {
    };
}


function config773() { 
}


IS_NATIVE function testSuccess123() { 
}