integer test_putCount155
integer newParent_return_a_a558
integer newParent_return_a_b514
integer newParent_return_a_c628
integer newParent_return_a_d845
integer newParent_return_index117
integer randomOperations_return_a_a203
integer randomOperations_return_a_b191
integer randomOperations_return_a_c199
integer randomOperations_return_a_d256
integer randomOperations_return_index576
integer child_put_return_a149
integer child_put_return_b358
integer child_put_return_c206
integer child_put_return_d852


integer test_putCount155 = 0


function initGlobals156() { 
}


function main109() { 
    initGlobals156();
    init_test441();
}


function config149() { 
}


function init_test441() { 
    local integer t_a_a189
    local integer t_a_b111
    local integer t_a_c110
    local integer t_a_d125
    local integer tuple_temp171
    local integer tuple_temp591
    local integer tuple_temp796
    local integer tuple_temp240
    test_putCount_155 = 0;
    tuple_temp_171 = randomOperations197(newParent897(GetRandomInt169(0, 3)), newParent_return_a_b_514, newParent_return_a_c_628, newParent_return_a_d_845, newParent_return_index_117, 100);
    tuple_temp_591 = randomOperations_return_a_b_191;
    tuple_temp_796 = randomOperations_return_a_c_199;
    tuple_temp_240 = randomOperations_return_a_d_256;
    t_a_a_189 = tuple_temp_171;
    t_a_b_111 = tuple_temp_591;
    t_a_c_110 = tuple_temp_796;
    t_a_d_125 = tuple_temp_240;
    print204(t_a_a_189);
    print204(t_a_b_111);
    print204(t_a_c_110);
    print204(t_a_d_125);
    print204(test_putCount_155);
    if (test_putCount_155 == 1) {
        testSuccess676();
    } else {
    };
}


function print204(integer x996) { 
    println106(I2S142(x_996));
}


IS_NATIVE IS_EXTERN @extern function I2S142(integer x211) returns string { 
}


IS_NATIVE function println106(string s200) { 
}


function newParent897(integer i121) returns integer { 
    newParent_return_a_a_558 = 0;
    newParent_return_a_b_514 = 0;
    newParent_return_a_c_628 = 0;
    newParent_return_a_d_845 = 0;
    newParent_return_index_117 = i_121;
    return newParent_return_a_a_558;
}


function child_put199(integer this_a192, integer this_b482, integer this_c195, integer this_d149, integer i387, integer num193) returns integer { 
    test_putCount_155 = (test_putCount_155 + 1);
    if (i_387 == 0) {
        child_put_return_a_149 = num_193;
        child_put_return_b_358 = this_b_482;
        child_put_return_c_206 = this_c_195;
        child_put_return_d_852 = this_d_149;
        return child_put_return_a_149;
    } else {
        if (i_387 == 1) {
            child_put_return_a_149 = this_a_192;
            child_put_return_b_358 = num_193;
            child_put_return_c_206 = this_b_482;
            child_put_return_d_852 = this_d_149;
            return child_put_return_a_149;
        } else {
            if (i_387 == 2) {
                child_put_return_a_149 = this_a_192;
                child_put_return_b_358 = this_b_482;
                child_put_return_c_206 = num_193;
                child_put_return_d_852 = this_d_149;
                return child_put_return_a_149;
            } else {
                child_put_return_a_149 = this_a_192;
                child_put_return_b_358 = this_b_482;
                child_put_return_c_206 = this_b_482;
                child_put_return_d_852 = num_193;
                return child_put_return_a_149;
            };
        };
    };
}


function randomOperations197(integer t_a_a704, integer t_a_b145, integer t_a_c120, integer t_a_d119, integer t_index160, integer val470) returns integer { 
    local integer some_a_a879
    local integer some_a_b174
    local integer some_a_c392
    local integer some_a_d782
    local integer some_index915
    local integer tuple_temp158
    local integer tuple_temp670
    local integer tuple_temp181
    local integer tuple_temp129
    local integer tuple_temp160
    local integer tuple_temp146
    local integer tuple_temp196
    local integer tuple_temp133
    local integer tuple_temp604
    tuple_temp_158 = t_a_a_704;
    tuple_temp_670 = t_a_b_145;
    tuple_temp_181 = t_a_c_120;
    tuple_temp_129 = t_a_d_119;
    tuple_temp_160 = t_index_160;
    some_a_a_879 = tuple_temp_158;
    some_a_b_174 = tuple_temp_670;
    some_a_c_392 = tuple_temp_181;
    some_a_d_782 = tuple_temp_129;
    some_index_915 = tuple_temp_160;
    tuple_temp_146 = child_put199(some_a_a_879, some_a_b_174, some_a_c_392, some_a_d_782, t_index_160, val_470);
    tuple_temp_196 = child_put_return_b_358;
    tuple_temp_133 = child_put_return_c_206;
    tuple_temp_604 = child_put_return_d_852;
    some_a_a_879 = tuple_temp_146;
    some_a_b_174 = tuple_temp_196;
    some_a_c_392 = tuple_temp_133;
    some_a_d_782 = tuple_temp_604;
    randomOperations_return_a_a_203 = some_a_a_879;
    randomOperations_return_a_b_191 = some_a_b_174;
    randomOperations_return_a_c_199 = some_a_c_392;
    randomOperations_return_a_d_256 = some_a_d_782;
    randomOperations_return_index_576 = some_index_915;
    return randomOperations_return_a_a_203;
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt169(integer x108, integer y213) returns integer { 
}


IS_NATIVE function testSuccess676() { 
}