function initGlobals183() { 
}


function divide860(integer a201, integer b209) returns integer { 
    return (a_201 div b_209);
}


function main477() { 
    initGlobals183();
    init_test154();
}


function config207() { 
}


function init_test154() { 
    if (divide860(17, 3) == 5) {
        testSuccess159();
    } else {
    };
}


IS_NATIVE function testSuccess159() { 
}