integer test_putCount186
integer child_put_return_a197
integer child_put_return_b508
integer child_put_return_c167
integer child_put_return_d105


integer test_putCount186 = 0
integer wurst_stack_depth746 = 0


function initGlobals830() { 
}


function main193() { 
    initGlobals830();
    init_test179();
}


function config108() { 
}


function init_test179() { 
    local integer tuple_temp138
    local integer tuple_temp161
    local integer tuple_temp144
    local integer tuple_temp123
    tuple_temp_138 = child_put153(0, 0, 0, 0, GetRandomInt432(0, 3), 100);
    tuple_temp_161 = child_put_return_b_508;
    tuple_temp_144 = child_put_return_c_167;
    tuple_temp_123 = child_put_return_d_105;
    println124(I2S211(tuple_temp_138));
    println124(I2S211(tuple_temp_161));
    println124(I2S211(tuple_temp_144));
    println124(I2S211(tuple_temp_123));
    println124(I2S211(test_putCount_186));
    if (test_putCount_186 == 1) {
        testSuccess994();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S211(integer x829) returns string { 
}


IS_NATIVE function println124(string s244) { 
}


function child_put153(integer this_a116, integer this_b413, integer this_c463, integer this_d865, integer i463, integer num120) returns integer { 
    test_putCount_186 = (test_putCount_186 + 1);
    if (i_463 == 0) {
        child_put_return_a_197 = num_120;
        child_put_return_b_508 = this_b_413;
        child_put_return_c_167 = this_c_463;
        child_put_return_d_105 = this_d_865;
        return child_put_return_a_197;
    } else {
        child_put_return_a_197 = this_a_116;
        if (i_463 == 1) {
            child_put_return_b_508 = num_120;
            child_put_return_c_167 = this_b_413;
            child_put_return_d_105 = this_d_865;
            return child_put_return_a_197;
        } else {
            child_put_return_b_508 = this_b_413;
            if (i_463 == 2) {
                child_put_return_c_167 = num_120;
                child_put_return_d_105 = this_d_865;
                return child_put_return_a_197;
            } else {
                child_put_return_c_167 = this_b_413;
                child_put_return_d_105 = num_120;
                return child_put_return_a_197;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt432(integer x208, integer y159) returns integer { 
}


IS_NATIVE function testSuccess994() { 
}