integer test_putCount817
integer child_put_return_a170
integer child_put_return_b123
integer child_put_return_c207
integer child_put_return_d863


integer test_putCount817 = 0


function initGlobals161() { 
}


function main749() { 
    initGlobals161();
    init_test214();
}


function config769() { 
}


function init_test214() { 
    local integer tuple_temp995
    local integer tuple_temp116
    local integer tuple_temp388
    local integer tuple_temp185
    tuple_temp_995 = child_put129(0, 0, 0, 0, GetRandomInt851(0, 3), 100);
    tuple_temp_116 = child_put_return_b_123;
    tuple_temp_388 = child_put_return_c_207;
    tuple_temp_185 = child_put_return_d_863;
    println911(I2S679(tuple_temp_995));
    println911(I2S679(tuple_temp_116));
    println911(I2S679(tuple_temp_388));
    println911(I2S679(tuple_temp_185));
    println911(I2S679(test_putCount_817));
    if (test_putCount_817 == 1) {
        testSuccess691();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S679(integer x181) returns string { 
}


IS_NATIVE function println911(string s146) { 
}


function child_put129(integer this_a105, integer this_b135, integer this_c104, integer this_d123, integer i842, integer num323) returns integer { 
    test_putCount_817 = (test_putCount_817 + 1);
    if (i_842 == 0) {
        child_put_return_a_170 = num_323;
        child_put_return_b_123 = this_b_135;
        child_put_return_c_207 = this_c_104;
        child_put_return_d_863 = this_d_123;
        return child_put_return_a_170;
    } else {
        child_put_return_a_170 = this_a_105;
        if (i_842 == 1) {
            child_put_return_b_123 = num_323;
            child_put_return_c_207 = this_b_135;
            child_put_return_d_863 = this_d_123;
            return child_put_return_a_170;
        } else {
            child_put_return_b_123 = this_b_135;
            if (i_842 == 2) {
                child_put_return_c_207 = num_323;
                child_put_return_d_863 = this_d_123;
                return child_put_return_a_170;
            } else {
                child_put_return_c_207 = this_b_135;
                child_put_return_d_863 = num_323;
                return child_put_return_a_170;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt851(integer x213, integer y213) returns integer { 
}


IS_NATIVE function testSuccess691() { 
}