function initGlobals143() { 
}


function main129() { 
    initGlobals143();
    init_test197();
}


function config837() { 
}


function init_test197() { 
    if (int_add177(3, 4) == 7) {
        testSuccess157();
    } else {
    };
}


function int_add177(integer this331, integer x535) returns integer { 
    return (this_331 + x_535);
}


IS_NATIVE function testSuccess157() { 
}