function initGlobals147() { 
}


function main212() { 
    local integer a193
    local integer this355
    local integer x506
    local integer this440
    local integer x621
    local integer this697
    local integer x150
    initGlobals147();
    this_697 = 3;
    x_150 = 4;
    this_440 = (this_697 + x_150);
    x_621 = 5;
    this_355 = (this_440 + x_621);
    x_506 = 6;
    a_193 = (this_355 + x_506);
    if (a_193 == 18) {
        testSuccess123();
    } else {
    };
}


function config136() { 
}


IS_NATIVE function testSuccess123() { 
}