function initGlobals135() { 
}


function main717() { 
    initGlobals135();
    init_test112();
}


function config172() { 
}


function int_add127(integer this100, integer x178) returns integer { 
    return (this_100 + x_178);
}


function init_test112() { 
    if (int_add127(3, 4) == 7) {
        testSuccess269();
    } else {
    };
}


IS_NATIVE function testSuccess269() { 
}