function initGlobals150() { 
}


function divide110(integer a523, integer b177) returns integer { 
    return (a_523 div b_177);
}


function main116() { 
    initGlobals150();
    init_test128();
}


function config411() { 
}


function init_test128() { 
    if (divide110(17, 3) == 5) {
        testSuccess168();
    } else {
    };
}


IS_NATIVE function testSuccess168() { 
}