integer test_putCount937
integer child_put_return_a850
integer child_put_return_b186
integer child_put_return_c202
integer child_put_return_d108


integer test_putCount937 = 0


function initGlobals158() { 
}


function main894() { 
    initGlobals158();
    init_test168();
}


function config180() { 
}


function init_test168() { 
    local integer tuple_temp412
    local integer tuple_temp150
    local integer tuple_temp213
    local integer tuple_temp974
    tuple_temp_412 = child_put806(0, 0, 0, 0, GetRandomInt212(0, 3), 100);
    tuple_temp_150 = child_put_return_b_186;
    tuple_temp_213 = child_put_return_c_202;
    tuple_temp_974 = child_put_return_d_108;
    println110(I2S919(tuple_temp_412));
    println110(I2S919(tuple_temp_150));
    println110(I2S919(tuple_temp_213));
    println110(I2S919(tuple_temp_974));
    println110(I2S919(test_putCount_937));
    if (test_putCount_937 == 1) {
        testSuccess109();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S919(integer x115) returns string { 
}


IS_NATIVE function println110(string s186) { 
}


function child_put806(integer this_a161, integer this_b130, integer this_c776, integer this_d128, integer i732, integer num429) returns integer { 
    test_putCount_937 = (test_putCount_937 + 1);
    if (i_732 == 0) {
        child_put_return_a_850 = num_429;
        child_put_return_b_186 = this_b_130;
        child_put_return_c_202 = this_c_776;
        child_put_return_d_108 = this_d_128;
        return child_put_return_a_850;
    } else {
        child_put_return_a_850 = this_a_161;
        if (i_732 == 1) {
            child_put_return_b_186 = num_429;
            child_put_return_c_202 = this_b_130;
            child_put_return_d_108 = this_d_128;
            return child_put_return_a_850;
        } else {
            child_put_return_b_186 = this_b_130;
            if (i_732 == 2) {
                child_put_return_c_202 = num_429;
                child_put_return_d_108 = this_d_128;
                return child_put_return_a_850;
            } else {
                child_put_return_c_202 = this_b_130;
                child_put_return_d_108 = num_429;
                return child_put_return_a_850;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt212(integer x171, integer y143) returns integer { 
}


IS_NATIVE function testSuccess109() { 
}