integer test_putCount908
integer child_put_return_a445
integer child_put_return_b477
integer child_put_return_c169
integer child_put_return_d727


integer test_putCount908 = 0


function initGlobals195() { 
}


function main119() { 
    initGlobals195();
    init_test341();
}


function config100() { 
}


function init_test341() { 
    local integer t_a_a287
    local integer t_a_b695
    local integer t_a_c421
    local integer t_a_d341
    local integer t_a_a319
    local integer t_a_b153
    local integer t_a_c157
    local integer t_a_d149
    local integer t_index126
    local integer val239
    local integer some_a_a187
    local integer some_a_b119
    local integer some_a_c180
    local integer some_a_d182
    local integer some_index212
    local integer i335
    local integer x190
    local integer x248
    local integer x201
    local integer x178
    local integer x800
    local integer tuple_temp116
    local integer tuple_temp898
    local integer tuple_temp152
    local integer tuple_temp186
    local integer tuple_temp178
    local integer tuple_temp101
    local integer tuple_temp138
    local integer tuple_temp889
    local integer tuple_temp113
    local integer tuple_temp818
    local integer tuple_temp547
    local integer tuple_temp109
    local integer tuple_temp627
    local integer tuple_temp127
    local integer tuple_temp632
    local integer tuple_temp171
    local integer tuple_temp307
    local integer tuple_temp201
    i_335 = GetRandomInt209(0, 3);
    tuple_temp_116 = 0;
    tuple_temp_898 = 0;
    tuple_temp_152 = 0;
    tuple_temp_186 = 0;
    tuple_temp_178 = i_335;
    t_a_a_319 = tuple_temp_116;
    t_a_b_153 = tuple_temp_898;
    t_a_c_157 = tuple_temp_152;
    t_a_d_149 = tuple_temp_186;
    t_index_126 = tuple_temp_178;
    val_239 = 100;
    tuple_temp_101 = t_a_a_319;
    tuple_temp_138 = t_a_b_153;
    tuple_temp_889 = t_a_c_157;
    tuple_temp_113 = t_a_d_149;
    tuple_temp_818 = t_index_126;
    some_a_a_187 = tuple_temp_101;
    some_a_b_119 = tuple_temp_138;
    some_a_c_180 = tuple_temp_889;
    some_a_d_182 = tuple_temp_113;
    some_index_212 = tuple_temp_818;
    tuple_temp_547 = child_put109(some_a_a_187, some_a_b_119, some_a_c_180, some_a_d_182, t_index_126, val_239);
    tuple_temp_109 = child_put_return_b_477;
    tuple_temp_627 = child_put_return_c_169;
    tuple_temp_127 = child_put_return_d_727;
    some_a_a_187 = tuple_temp_547;
    some_a_b_119 = tuple_temp_109;
    some_a_c_180 = tuple_temp_627;
    some_a_d_182 = tuple_temp_127;
    tuple_temp_632 = some_a_a_187;
    tuple_temp_171 = some_a_b_119;
    tuple_temp_307 = some_a_c_180;
    tuple_temp_201 = some_a_d_182;
    t_a_a_287 = tuple_temp_632;
    t_a_b_695 = tuple_temp_171;
    t_a_c_421 = tuple_temp_307;
    t_a_d_341 = tuple_temp_201;
    x_190 = t_a_a_287;
    println892(I2S865(x_190));
    x_248 = t_a_b_695;
    println892(I2S865(x_248));
    x_201 = t_a_c_421;
    println892(I2S865(x_201));
    x_178 = t_a_d_341;
    println892(I2S865(x_178));
    x_800 = test_putCount_908;
    println892(I2S865(x_800));
    if (test_putCount_908 == 1) {
        testSuccess720();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S865(integer x767) returns string { 
}


IS_NATIVE function println892(string s172) { 
}


function child_put109(integer this_a209, integer this_b338, integer this_c106, integer this_d231, integer i592, integer num201) returns integer { 
    test_putCount_908 = (test_putCount_908 + 1);
    if (i_592 == 0) {
        child_put_return_a_445 = num_201;
        child_put_return_b_477 = this_b_338;
        child_put_return_c_169 = this_c_106;
        child_put_return_d_727 = this_d_231;
        return child_put_return_a_445;
    } else {
        if (i_592 == 1) {
            child_put_return_a_445 = this_a_209;
            child_put_return_b_477 = num_201;
            child_put_return_c_169 = this_b_338;
            child_put_return_d_727 = this_d_231;
            return child_put_return_a_445;
        } else {
            if (i_592 == 2) {
                child_put_return_a_445 = this_a_209;
                child_put_return_b_477 = this_b_338;
                child_put_return_c_169 = num_201;
                child_put_return_d_727 = this_d_231;
                return child_put_return_a_445;
            } else {
                child_put_return_a_445 = this_a_209;
                child_put_return_b_477 = this_b_338;
                child_put_return_c_169 = this_b_338;
                child_put_return_d_727 = num_201;
                return child_put_return_a_445;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt209(integer x153, integer y211) returns integer { 
}


IS_NATIVE function testSuccess720() { 
}