function initGlobals583() { 
}


function divide686(integer a416, integer b133) returns integer { 
    return (a_416 div b_133);
}


function main121() { 
    initGlobals583();
    init_test923();
}


function config205() { 
}


function init_test923() { 
    if (divide686(17, 3) == 5) {
        testSuccess179();
    } else {
    };
}


IS_NATIVE function testSuccess179() { 
}