integer tempReturn_integer137




function initGlobals165() { 
}


function main885() { 
    initGlobals165();
    cyc_c315(2, 42);
    if (tempReturn_integer_137 == 0) {
        testSuccess741();
    } else {
    };
}


function config570() { 
}


IS_NATIVE function testSuccess741() { 
}


function cyc_c315(integer funcChoice563, integer i128) { 
    if (funcChoice_563 == 0) {
        if (i_128 == 0) {
            tempReturn_integer_137 = 0;
            return %nothing%;
        } else {
        };
        cyc_c315(2, (i_128 div 2));
        tempReturn_integer_137 = tempReturn_integer_137;
        return %nothing%;
    } else {
        if (funcChoice_563 == 1) {
            if (i_128 == 0) {
                tempReturn_integer_137 = 0;
                return %nothing%;
            } else {
            };
            cyc_c315(0, (i_128 div 2));
            tempReturn_integer_137 = tempReturn_integer_137;
            return %nothing%;
        } else {
            if (funcChoice_563 == 2) {
                if (i_128 == 0) {
                    tempReturn_integer_137 = 0;
                    return %nothing%;
                } else {
                };
                cyc_c315(1, (i_128 div 2));
                tempReturn_integer_137 = tempReturn_integer_137;
                return %nothing%;
            } else {
            };
        };
    };
}