integer test_x843
array<integer> test_ar_x156
array<integer> test_ar_y162


integer test_x843 = 1


function initGlobals586() { 
}


function main676() { 
    initGlobals586();
    init_test172();
}


function config194() { 
}


function init_test172() { 
    local integer tempIndex271
    local integer tuple_temp202
    local integer tuple_temp129
    test_x_843 = 1;
    tempIndex_271 = foo120();
    tuple_temp_202 = bar212();
    tuple_temp_129 = 7;
    test_ar_x_156[tempIndex_271] = tuple_temp_202;
    test_ar_y_162[tempIndex_271] = tuple_temp_129;
    if (((test_x_843 == 3) and (test_ar_x_156[1] == 1)) and (test_ar_y_162[1] == 7)) {
        testSuccess730();
    } else {
    };
}


function foo120() returns integer { 
    test_x_843 = (test_x_843 * 2);
    return 1;
}


function bar212() returns integer { 
    test_x_843 = (test_x_843 + 1);
    return 1;
}


IS_NATIVE function testSuccess730() { 
}