integer test_putCount540
integer child_put_return_a211
integer child_put_return_b171
integer child_put_return_c175
integer child_put_return_d151


integer test_putCount540 = 0


function initGlobals170() { 
}


function main776() { 
    initGlobals170();
    init_test646();
}


function config923() { 
}


function init_test646() { 
    local integer t_a_a159
    local integer t_a_b401
    local integer t_a_c996
    local integer t_a_d103
    local integer t_a_a173
    local integer t_a_b430
    local integer t_a_c139
    local integer t_a_d679
    local integer t_index191
    local integer val143
    local integer some_a_a337
    local integer some_a_b672
    local integer some_a_c142
    local integer some_a_d191
    local integer some_index175
    local integer i851
    local integer x197
    local integer x166
    local integer x297
    local integer x210
    local integer x412
    local integer tuple_temp108
    local integer tuple_temp136
    local integer tuple_temp566
    local integer tuple_temp508
    local integer tuple_temp169
    local integer tuple_temp424
    local integer tuple_temp111
    local integer tuple_temp164
    local integer tuple_temp121
    local integer tuple_temp110
    local integer tuple_temp187
    local integer tuple_temp411
    local integer tuple_temp876
    local integer tuple_temp165
    local integer tuple_temp507
    local integer tuple_temp175
    local integer tuple_temp127
    local integer tuple_temp364
    i_851 = GetRandomInt315(0, 3);
    tuple_temp_108 = 0;
    tuple_temp_136 = 0;
    tuple_temp_566 = 0;
    tuple_temp_508 = 0;
    tuple_temp_169 = i_851;
    t_a_a_173 = tuple_temp_108;
    t_a_b_430 = tuple_temp_136;
    t_a_c_139 = tuple_temp_566;
    t_a_d_679 = tuple_temp_508;
    t_index_191 = tuple_temp_169;
    val_143 = 100;
    tuple_temp_424 = t_a_a_173;
    tuple_temp_111 = t_a_b_430;
    tuple_temp_164 = t_a_c_139;
    tuple_temp_121 = t_a_d_679;
    tuple_temp_110 = t_index_191;
    some_a_a_337 = tuple_temp_424;
    some_a_b_672 = tuple_temp_111;
    some_a_c_142 = tuple_temp_164;
    some_a_d_191 = tuple_temp_121;
    some_index_175 = tuple_temp_110;
    tuple_temp_187 = child_put443(some_a_a_337, some_a_b_672, some_a_c_142, some_a_d_191, t_index_191, val_143);
    tuple_temp_411 = child_put_return_b_171;
    tuple_temp_876 = child_put_return_c_175;
    tuple_temp_165 = child_put_return_d_151;
    some_a_a_337 = tuple_temp_187;
    some_a_b_672 = tuple_temp_411;
    some_a_c_142 = tuple_temp_876;
    some_a_d_191 = tuple_temp_165;
    tuple_temp_507 = some_a_a_337;
    tuple_temp_175 = some_a_b_672;
    tuple_temp_127 = some_a_c_142;
    tuple_temp_364 = some_a_d_191;
    t_a_a_159 = tuple_temp_507;
    t_a_b_401 = tuple_temp_175;
    t_a_c_996 = tuple_temp_127;
    t_a_d_103 = tuple_temp_364;
    x_197 = t_a_a_159;
    println945(I2S197(x_197));
    x_166 = t_a_b_401;
    println945(I2S197(x_166));
    x_297 = t_a_c_996;
    println945(I2S197(x_297));
    x_210 = t_a_d_103;
    println945(I2S197(x_210));
    x_412 = test_putCount_540;
    println945(I2S197(x_412));
    if (test_putCount_540 == 1) {
        testSuccess130();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S197(integer x885) returns string { 
}


IS_NATIVE function println945(string s315) { 
}


function child_put443(integer this_a150, integer this_b213, integer this_c974, integer this_d284, integer i177, integer num896) returns integer { 
    test_putCount_540 = (test_putCount_540 + 1);
    if (i_177 == 0) {
        child_put_return_a_211 = num_896;
        child_put_return_b_171 = this_b_213;
        child_put_return_c_175 = this_c_974;
        child_put_return_d_151 = this_d_284;
        return child_put_return_a_211;
    } else {
        if (i_177 == 1) {
            child_put_return_a_211 = this_a_150;
            child_put_return_b_171 = num_896;
            child_put_return_c_175 = this_b_213;
            child_put_return_d_151 = this_d_284;
            return child_put_return_a_211;
        } else {
            if (i_177 == 2) {
                child_put_return_a_211 = this_a_150;
                child_put_return_b_171 = this_b_213;
                child_put_return_c_175 = num_896;
                child_put_return_d_151 = this_d_284;
                return child_put_return_a_211;
            } else {
                child_put_return_a_211 = this_a_150;
                child_put_return_b_171 = this_b_213;
                child_put_return_c_175 = this_b_213;
                child_put_return_d_151 = num_896;
                return child_put_return_a_211;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt315(integer x622, integer y115) returns integer { 
}


IS_NATIVE function testSuccess130() { 
}