integer test_putCount199
integer child_put_return_a278
integer child_put_return_b212
integer child_put_return_c651
integer child_put_return_d783


integer test_putCount199 = 0
integer wurst_stack_depth736 = 0


function initGlobals315() { 
}


function main153() { 
    initGlobals315();
    init_test172();
}


function config168() { 
}


function init_test172() { 
    local integer tuple_temp667
    local integer tuple_temp416
    local integer tuple_temp706
    local integer tuple_temp516
    tuple_temp_667 = child_put171(0, 0, 0, 0, GetRandomInt103(0, 3), 100);
    tuple_temp_416 = child_put_return_b_212;
    tuple_temp_706 = child_put_return_c_651;
    tuple_temp_516 = child_put_return_d_783;
    println113(I2S137(tuple_temp_667));
    println113(I2S137(tuple_temp_416));
    println113(I2S137(tuple_temp_706));
    println113(I2S137(tuple_temp_516));
    println113(I2S137(test_putCount_199));
    if (test_putCount_199 == 1) {
        testSuccess870();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S137(integer x846) returns string { 
}


IS_NATIVE function println113(string s205) { 
}


function child_put171(integer this_a110, integer this_b127, integer this_c316, integer this_d495, integer i223, integer num151) returns integer { 
    test_putCount_199 = (test_putCount_199 + 1);
    if (i_223 == 0) {
        child_put_return_a_278 = num_151;
        child_put_return_b_212 = this_b_127;
        child_put_return_c_651 = this_c_316;
        child_put_return_d_783 = this_d_495;
        return child_put_return_a_278;
    } else {
        child_put_return_a_278 = this_a_110;
        if (i_223 == 1) {
            child_put_return_b_212 = num_151;
            child_put_return_c_651 = this_b_127;
            child_put_return_d_783 = this_d_495;
            return child_put_return_a_278;
        } else {
            child_put_return_b_212 = this_b_127;
            if (i_223 == 2) {
                child_put_return_c_651 = num_151;
                child_put_return_d_783 = this_d_495;
                return child_put_return_a_278;
            } else {
                child_put_return_c_651 = this_b_127;
                child_put_return_d_783 = num_151;
                return child_put_return_a_278;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt103(integer x209, integer y160) returns integer { 
}


IS_NATIVE function testSuccess870() { 
}