integer test_putCount621
integer child_put_return_a577
integer child_put_return_b115
integer child_put_return_c194
integer child_put_return_d465


integer test_putCount621 = 0


function initGlobals186() { 
}


function main143() { 
    initGlobals186();
    init_test254();
}


function config931() { 
}


function init_test254() { 
    local integer t_a_a594
    local integer t_a_b791
    local integer t_a_c110
    local integer t_a_d856
    local integer t_a_a391
    local integer t_a_b139
    local integer t_a_c520
    local integer t_a_d117
    local integer t_index983
    local integer val469
    local integer some_a_a138
    local integer some_a_b863
    local integer some_a_c209
    local integer some_a_d918
    local integer some_index206
    local integer i134
    local integer x560
    local integer x132
    local integer x913
    local integer x546
    local integer x367
    local integer tuple_temp369
    local integer tuple_temp844
    local integer tuple_temp272
    local integer tuple_temp954
    local integer tuple_temp304
    local integer tuple_temp445
    local integer tuple_temp181
    local integer tuple_temp231
    local integer tuple_temp153
    local integer tuple_temp141
    local integer tuple_temp766
    local integer tuple_temp487
    local integer tuple_temp377
    local integer tuple_temp148
    local integer tuple_temp502
    local integer tuple_temp208
    local integer tuple_temp678
    local integer tuple_temp938
    i_134 = GetRandomInt210(0, 3);
    tuple_temp_369 = 0;
    tuple_temp_844 = 0;
    tuple_temp_272 = 0;
    tuple_temp_954 = 0;
    tuple_temp_304 = i_134;
    t_a_a_391 = tuple_temp_369;
    t_a_b_139 = tuple_temp_844;
    t_a_c_520 = tuple_temp_272;
    t_a_d_117 = tuple_temp_954;
    t_index_983 = tuple_temp_304;
    val_469 = 100;
    tuple_temp_445 = t_a_a_391;
    tuple_temp_181 = t_a_b_139;
    tuple_temp_231 = t_a_c_520;
    tuple_temp_153 = t_a_d_117;
    tuple_temp_141 = t_index_983;
    some_a_a_138 = tuple_temp_445;
    some_a_b_863 = tuple_temp_181;
    some_a_c_209 = tuple_temp_231;
    some_a_d_918 = tuple_temp_153;
    some_index_206 = tuple_temp_141;
    tuple_temp_766 = child_put179(some_a_a_138, some_a_b_863, some_a_c_209, some_a_d_918, t_index_983, val_469);
    tuple_temp_487 = child_put_return_b_115;
    tuple_temp_377 = child_put_return_c_194;
    tuple_temp_148 = child_put_return_d_465;
    some_a_a_138 = tuple_temp_766;
    some_a_b_863 = tuple_temp_487;
    some_a_c_209 = tuple_temp_377;
    some_a_d_918 = tuple_temp_148;
    tuple_temp_502 = some_a_a_138;
    tuple_temp_208 = some_a_b_863;
    tuple_temp_678 = some_a_c_209;
    tuple_temp_938 = some_a_d_918;
    t_a_a_594 = tuple_temp_502;
    t_a_b_791 = tuple_temp_208;
    t_a_c_110 = tuple_temp_678;
    t_a_d_856 = tuple_temp_938;
    x_560 = t_a_a_594;
    println176(I2S449(x_560));
    x_132 = t_a_b_791;
    println176(I2S449(x_132));
    x_913 = t_a_c_110;
    println176(I2S449(x_913));
    x_546 = t_a_d_856;
    println176(I2S449(x_546));
    x_367 = test_putCount_621;
    println176(I2S449(x_367));
    if (test_putCount_621 == 1) {
        testSuccess131();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S449(integer x723) returns string { 
}


IS_NATIVE function println176(string s121) { 
}


function child_put179(integer this_a590, integer this_b869, integer this_c561, integer this_d181, integer i563, integer num642) returns integer { 
    test_putCount_621 = (test_putCount_621 + 1);
    if (i_563 == 0) {
        child_put_return_a_577 = num_642;
        child_put_return_b_115 = this_b_869;
        child_put_return_c_194 = this_c_561;
        child_put_return_d_465 = this_d_181;
        return child_put_return_a_577;
    } else {
        if (i_563 == 1) {
            child_put_return_a_577 = this_a_590;
            child_put_return_b_115 = num_642;
            child_put_return_c_194 = this_b_869;
            child_put_return_d_465 = this_d_181;
            return child_put_return_a_577;
        } else {
            if (i_563 == 2) {
                child_put_return_a_577 = this_a_590;
                child_put_return_b_115 = this_b_869;
                child_put_return_c_194 = num_642;
                child_put_return_d_465 = this_d_181;
                return child_put_return_a_577;
            } else {
                child_put_return_a_577 = this_a_590;
                child_put_return_b_115 = this_b_869;
                child_put_return_c_194 = this_b_869;
                child_put_return_d_465 = num_642;
                return child_put_return_a_577;
            };
        };
    };
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt210(integer x135, integer y671) returns integer { 
}


IS_NATIVE function testSuccess131() { 
}