integer wurst_stack_depth818 = 0


function initGlobals135() { 
}


function main118() { 
    initGlobals135();
    if (((((0 + (1 castTo integer)) + (2 castTo integer)) + (3 castTo integer)) + (4 castTo integer)) == 10) {
        testSuccess129();
    } else {
    };
}


function config834() { 
}


IS_NATIVE function testSuccess129() { 
}