function initGlobals142() { 
}


function main505() { 
    initGlobals142();
    init_test139();
}


function config127() { 
}


function init_test139() { 
    if (int_add118(int_add118(int_add118(3, 4), 5), 6) == 18) {
        testSuccess166();
    } else {
    };
}


function int_add118(integer this184, integer x189) returns integer { 
    return (this_184 + x_189);
}


IS_NATIVE function testSuccess166() { 
}