integer test_putCount339
integer newParent_return_a_a210
integer newParent_return_a_b410
integer newParent_return_a_c260
integer newParent_return_a_d918
integer newParent_return_index154
integer randomOperations_return_a_a154
integer randomOperations_return_a_b730
integer randomOperations_return_a_c213
integer randomOperations_return_a_d178
integer randomOperations_return_index213
integer child_put_return_a133
integer child_put_return_b940
integer child_put_return_c703
integer child_put_return_d922


integer test_putCount339 = 0


function initGlobals205() { 
}


function main147() { 
    initGlobals205();
    init_test165();
}


function config881() { 
}


function init_test165() { 
    local integer t_a_a525
    local integer t_a_b122
    local integer t_a_c810
    local integer t_a_d185
    local integer tuple_temp743
    local integer tuple_temp163
    local integer tuple_temp182
    local integer tuple_temp161
    test_putCount_339 = 0;
    tuple_temp_743 = randomOperations594(newParent160(GetRandomInt444(0, 3)), newParent_return_a_b_410, newParent_return_a_c_260, newParent_return_a_d_918, newParent_return_index_154, 100);
    tuple_temp_163 = randomOperations_return_a_b_730;
    tuple_temp_182 = randomOperations_return_a_c_213;
    tuple_temp_161 = randomOperations_return_a_d_178;
    t_a_a_525 = tuple_temp_743;
    t_a_b_122 = tuple_temp_163;
    t_a_c_810 = tuple_temp_182;
    t_a_d_185 = tuple_temp_161;
    print283(t_a_a_525);
    print283(t_a_b_122);
    print283(t_a_c_810);
    print283(t_a_d_185);
    print283(test_putCount_339);
    if (test_putCount_339 == 1) {
        testSuccess212();
    } else {
    };
}


function print283(integer x726) { 
    println356(I2S224(x_726));
}


IS_NATIVE IS_EXTERN @extern function I2S224(integer x180) returns string { 
}


IS_NATIVE function println356(string s176) { 
}


function newParent160(integer i470) returns integer { 
    newParent_return_a_a_210 = 0;
    newParent_return_a_b_410 = 0;
    newParent_return_a_c_260 = 0;
    newParent_return_a_d_918 = 0;
    newParent_return_index_154 = i_470;
    return newParent_return_a_a_210;
}


function child_put144(integer this_a120, integer this_b847, integer this_c715, integer this_d120, integer i102, integer num199) returns integer { 
    test_putCount_339 = (test_putCount_339 + 1);
    if (i_102 == 0) {
        child_put_return_a_133 = num_199;
        child_put_return_b_940 = this_b_847;
        child_put_return_c_703 = this_c_715;
        child_put_return_d_922 = this_d_120;
        return child_put_return_a_133;
    } else {
        if (i_102 == 1) {
            child_put_return_a_133 = this_a_120;
            child_put_return_b_940 = num_199;
            child_put_return_c_703 = this_b_847;
            child_put_return_d_922 = this_d_120;
            return child_put_return_a_133;
        } else {
            if (i_102 == 2) {
                child_put_return_a_133 = this_a_120;
                child_put_return_b_940 = this_b_847;
                child_put_return_c_703 = num_199;
                child_put_return_d_922 = this_d_120;
                return child_put_return_a_133;
            } else {
                child_put_return_a_133 = this_a_120;
                child_put_return_b_940 = this_b_847;
                child_put_return_c_703 = this_b_847;
                child_put_return_d_922 = num_199;
                return child_put_return_a_133;
            };
        };
    };
}


function randomOperations594(integer t_a_a146, integer t_a_b141, integer t_a_c196, integer t_a_d123, integer t_index723, integer val183) returns integer { 
    local integer some_a_a140
    local integer some_a_b158
    local integer some_a_c159
    local integer some_a_d172
    local integer some_index207
    local integer tuple_temp143
    local integer tuple_temp198
    local integer tuple_temp113
    local integer tuple_temp146
    local integer tuple_temp596
    local integer tuple_temp710
    local integer tuple_temp904
    local integer tuple_temp346
    local integer tuple_temp179
    tuple_temp_143 = t_a_a_146;
    tuple_temp_198 = t_a_b_141;
    tuple_temp_113 = t_a_c_196;
    tuple_temp_146 = t_a_d_123;
    tuple_temp_596 = t_index_723;
    some_a_a_140 = tuple_temp_143;
    some_a_b_158 = tuple_temp_198;
    some_a_c_159 = tuple_temp_113;
    some_a_d_172 = tuple_temp_146;
    some_index_207 = tuple_temp_596;
    tuple_temp_710 = child_put144(some_a_a_140, some_a_b_158, some_a_c_159, some_a_d_172, t_index_723, val_183);
    tuple_temp_904 = child_put_return_b_940;
    tuple_temp_346 = child_put_return_c_703;
    tuple_temp_179 = child_put_return_d_922;
    some_a_a_140 = tuple_temp_710;
    some_a_b_158 = tuple_temp_904;
    some_a_c_159 = tuple_temp_346;
    some_a_d_172 = tuple_temp_179;
    randomOperations_return_a_a_154 = some_a_a_140;
    randomOperations_return_a_b_730 = some_a_b_158;
    randomOperations_return_a_c_213 = some_a_c_159;
    randomOperations_return_a_d_178 = some_a_d_172;
    randomOperations_return_index_213 = some_index_207;
    return randomOperations_return_a_a_154;
}


IS_NATIVE IS_EXTERN @extern function GetRandomInt444(integer x427, integer y126) returns integer { 
}


IS_NATIVE function testSuccess212() { 
}