function initGlobals507() { 
}


function main125() { 
    initGlobals507();
    init_test604();
}


function config142() { 
}


function int_add494(integer this158, integer x175) returns integer { 
    return (this_158 + x_175);
}


function init_test604() { 
    local integer a165
    a_165 = 3;
    if (int_add494(a_165, 4) == 7) {
        testSuccess430();
    } else {
    };
}


IS_NATIVE function testSuccess430() { 
}