integer test_putCount843
integer newParent_return_a_a125
integer newParent_return_a_b941
integer newParent_return_a_c291
integer newParent_return_a_d138
integer newParent_return_index145
integer randomOperations_return_a_a211
integer randomOperations_return_a_b116
integer randomOperations_return_a_c209
integer randomOperations_return_a_d749
integer child_put_return_a160
integer child_put_return_b212
integer child_put_return_c143
integer child_put_return_d819


integer test_putCount843 = 0


function initGlobals102() { 
}


function main344() { 
    initGlobals102();
    init_test135();
}


function config137() { 
}


function init_test135() { 
    local integer tuple_temp173
    local integer tuple_temp204
    local integer tuple_temp336
    local integer tuple_temp333
    tuple_temp_173 = randomOperations153(newParent316(GetRandomInt434(0, 3)), newParent_return_a_b_941, newParent_return_a_c_291, newParent_return_a_d_138, newParent_return_index_145, 100);
    tuple_temp_204 = randomOperations_return_a_b_116;
    tuple_temp_336 = randomOperations_return_a_c_209;
    tuple_temp_333 = randomOperations_return_a_d_749;
    print894(tuple_temp_173);
    print894(tuple_temp_204);
    print894(tuple_temp_336);
    print894(tuple_temp_333);
    print894(test_putCount_843);
    if (test_putCount_843 == 1) {
        testSuccess182();
    } else {
    };
}


function print894(integer x739) { 
    println201(I2S194(x_739));
}


IS_NATIVE IS_EXTERN @extern function I2S194(integer x711) returns string { 
}


IS_NATIVE function println201(string s176) { 
}


function newParent316(integer i223) returns integer { 
    newParent_return_a_a_125 = 0;
    newParent_return_a_b_941 = 0;
    newParent_return_a_c_291 = 0;
    newParent_return_a_d_138 = 0;
    newParent_return_index_145 = i_223;
    return newParent_return_a_a_125;
}


function child_put208(integer this_a372, integer this_b138, integer this_c202, integer this_d126, integer i196, integer num146) returns integer { 
    test_putCount_843 = (test_putCount_843 + 1);
    if (i_196 == 0) {
        child_put_return_a_160 = num_146;
        child_put_return_b_212 = this_b_138;
        child_put_return_c_143 = this_c_202;
        child_put_return_d_819 = this_d_126;
        return child_put_return_a_160;
    } else {
        child_put_return_a_160 = this_a_372;
        if (i_196 == 1) {
            child_put_return_b_212 = num_146;
            child_put_return_c_143 = this_b_138;
            child_put_return_d_819 = this_d_126;
            return child_put_return_a_160;
        } else {
            child_put_return_b_212 = this_b_138;
            if (i_196 == 2) {
                child_put_return_c_143 = num_146;
                child_put_return_d_819 = this_d_126;
                return child_put_return_a_160;
            } else {
                child_put_return_c_143 = this_b_138;
                child_put_return_d_819 = num_146;
                return child_put_return_a_160;
            };
        };
    };
}


function randomOperations153(integer t_a_a739, integer t_a_b947, integer t_a_c186, integer t_a_d205, integer t_index915, integer val466) returns integer { 
    t_a_a_739 = child_put208(t_a_a_739, t_a_b_947, t_a_c_186, t_a_d_205, t_index_915, val_466);
    t_a_d_205 = child_put_return_b_212;
    t_a_c_186 = child_put_return_c_143;
    t_a_b_947 = child_put_return_d_819;
    randomOperations_return_a_a_211 = t_a_a_739;
    randomOperations_return_a_b_116 = t_a_d_205;
    randomOperations_return_a_c_209 = t_a_c_186;
    randomOperations_return_a_d_749 = t_a_b_947;
    return randomOperations_return_a_a_211;
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt434(integer x493, integer y341) returns integer { 
}


IS_NATIVE function testSuccess182() { 
}