integer tempReturn_integer543


integer wurst_stack_depth770 = 0


function initGlobals335() { 
}


function main166() { 
    initGlobals335();
    cyc_c475(2, 42);
    if (tempReturn_integer_543 == 0) {
        testSuccess170();
    } else {
    };
}


function config155() { 
}


IS_NATIVE function testSuccess170() { 
}


function cyc_c475(integer funcChoice192, integer i652) { 
    if (funcChoice_192 == 0) {
        if (i_652 == 0) {
            tempReturn_integer_543 = 0;
            return %nothing%;
        } else {
        };
        cyc_c475(2, (i_652 div 2));
        return %nothing%;
    } else {
        if (funcChoice_192 == 1) {
            if (i_652 == 0) {
                tempReturn_integer_543 = 0;
                return %nothing%;
            } else {
            };
            cyc_c475(0, (i_652 div 2));
            return %nothing%;
        } else {
            if (funcChoice_192 == 2) {
                if (i_652 == 0) {
                    tempReturn_integer_543 = 0;
                    return %nothing%;
                } else {
                };
                cyc_c475(1, (i_652 div 2));
                return %nothing%;
            } else {
            };
        };
    };
}