integer test_putCount810
integer newParent_return_a_a117
integer newParent_return_a_b592
integer newParent_return_a_c201
integer newParent_return_a_d572
integer newParent_return_index853
integer randomOperations_return_a_a972
integer randomOperations_return_a_b153
integer randomOperations_return_a_c211
integer randomOperations_return_a_d138
integer randomOperations_return_index367
integer child_put_return_a407
integer child_put_return_b213
integer child_put_return_c716
integer child_put_return_d151


integer test_putCount810 = 0


function initGlobals153() { 
}


function main105() { 
    initGlobals153();
    init_test359();
}


function config477() { 
}


function init_test359() { 
    local integer t_a_a852
    local integer t_a_b720
    local integer t_a_c119
    local integer t_a_d194
    local integer tuple_temp259
    local integer tuple_temp131
    local integer tuple_temp335
    local integer tuple_temp110
    test_putCount_810 = 0;
    tuple_temp_259 = randomOperations145(newParent705(GetRandomInt150(0, 3)), newParent_return_a_b_592, newParent_return_a_c_201, newParent_return_a_d_572, newParent_return_index_853, 100);
    tuple_temp_131 = randomOperations_return_a_b_153;
    tuple_temp_335 = randomOperations_return_a_c_211;
    tuple_temp_110 = randomOperations_return_a_d_138;
    t_a_a_852 = tuple_temp_259;
    t_a_b_720 = tuple_temp_131;
    t_a_c_119 = tuple_temp_335;
    t_a_d_194 = tuple_temp_110;
    print128(t_a_a_852);
    print128(t_a_b_720);
    print128(t_a_c_119);
    print128(t_a_d_194);
    print128(test_putCount_810);
    if (test_putCount_810 == 1) {
        testSuccess203();
    } else {
    };
}


function print128(integer x100) { 
    println619(I2S119(x_100));
}


IS_NATIVE IS_EXTERN @extern function I2S119(integer x136) returns string { 
}


IS_NATIVE function println619(string s648) { 
}


function newParent705(integer i172) returns integer { 
    newParent_return_a_a_117 = 0;
    newParent_return_a_b_592 = 0;
    newParent_return_a_c_201 = 0;
    newParent_return_a_d_572 = 0;
    newParent_return_index_853 = i_172;
    return newParent_return_a_a_117;
}


function child_put200(integer this_a908, integer this_b865, integer this_c892, integer this_d109, integer i317, integer num779) returns integer { 
    test_putCount_810 = (test_putCount_810 + 1);
    if (i_317 == 0) {
        child_put_return_a_407 = num_779;
        child_put_return_b_213 = this_b_865;
        child_put_return_c_716 = this_c_892;
        child_put_return_d_151 = this_d_109;
        return child_put_return_a_407;
    } else {
        if (i_317 == 1) {
            child_put_return_a_407 = this_a_908;
            child_put_return_b_213 = num_779;
            child_put_return_c_716 = this_b_865;
            child_put_return_d_151 = this_d_109;
            return child_put_return_a_407;
        } else {
            if (i_317 == 2) {
                child_put_return_a_407 = this_a_908;
                child_put_return_b_213 = this_b_865;
                child_put_return_c_716 = num_779;
                child_put_return_d_151 = this_d_109;
                return child_put_return_a_407;
            } else {
                child_put_return_a_407 = this_a_908;
                child_put_return_b_213 = this_b_865;
                child_put_return_c_716 = this_b_865;
                child_put_return_d_151 = num_779;
                return child_put_return_a_407;
            };
        };
    };
}


function randomOperations145(integer t_a_a195, integer t_a_b341, integer t_a_c209, integer t_a_d105, integer t_index272, integer val204) returns integer { 
    local integer some_a_a119
    local integer some_a_b729
    local integer some_a_c767
    local integer some_a_d172
    local integer some_index121
    local integer tuple_temp190
    local integer tuple_temp248
    local integer tuple_temp201
    local integer tuple_temp178
    local integer tuple_temp800
    local integer tuple_temp209
    local integer tuple_temp338
    local integer tuple_temp106
    local integer tuple_temp231
    tuple_temp_190 = t_a_a_195;
    tuple_temp_248 = t_a_b_341;
    tuple_temp_201 = t_a_c_209;
    tuple_temp_178 = t_a_d_105;
    tuple_temp_800 = t_index_272;
    some_a_a_119 = tuple_temp_190;
    some_a_b_729 = tuple_temp_248;
    some_a_c_767 = tuple_temp_201;
    some_a_d_172 = tuple_temp_178;
    some_index_121 = tuple_temp_800;
    tuple_temp_209 = child_put200(some_a_a_119, some_a_b_729, some_a_c_767, some_a_d_172, t_index_272, val_204);
    tuple_temp_338 = child_put_return_b_213;
    tuple_temp_106 = child_put_return_c_716;
    tuple_temp_231 = child_put_return_d_151;
    some_a_a_119 = tuple_temp_209;
    some_a_b_729 = tuple_temp_338;
    some_a_c_767 = tuple_temp_106;
    some_a_d_172 = tuple_temp_231;
    randomOperations_return_a_a_972 = some_a_a_119;
    randomOperations_return_a_b_153 = some_a_b_729;
    randomOperations_return_a_c_211 = some_a_c_767;
    randomOperations_return_a_d_138 = some_a_d_172;
    randomOperations_return_index_367 = some_index_121;
    return randomOperations_return_a_a_972;
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt150(integer x888, integer y192) returns integer { 
}


IS_NATIVE function testSuccess203() { 
}