function initGlobals110() { 
}


function main757() { 
    local integer a208
    local integer this612
    local integer x498
    initGlobals110();
    a_208 = 3;
    this_612 = a_208;
    x_498 = 4;
    if ((this_612 + x_498) == 7) {
        testSuccess882();
    } else {
    };
}


function config771() { 
}


IS_NATIVE function testSuccess882() { 
}