function initGlobals129() { 
}


function main135() { 
    initGlobals129();
    init_test320();
}


function config142() { 
}


function init_test320() { 
    local integer t_a_x146
    local integer t_a_y131
    local integer t_a_z454
    local integer t_b_x595
    local integer t_b_y404
    local integer t_b_z177
    local integer x207
    local integer x121
    local integer x144
    local integer x105
    local integer x125
    local integer x170
    local integer x144
    local integer x140
    local integer x149
    local integer tuple_temp209
    local integer tuple_temp526
    local integer tuple_temp467
    local integer tuple_temp102
    local integer tuple_temp199
    local integer tuple_temp704
    local integer tuple_temp694
    local integer tuple_temp168
    local integer tuple_temp303
    tuple_temp_209 = 1;
    tuple_temp_526 = 2;
    tuple_temp_467 = 3;
    tuple_temp_102 = 4;
    tuple_temp_199 = 5;
    tuple_temp_704 = 6;
    t_a_x_146 = tuple_temp_209;
    t_a_y_131 = tuple_temp_526;
    t_a_z_454 = tuple_temp_467;
    t_b_x_595 = tuple_temp_102;
    t_b_y_404 = tuple_temp_199;
    t_b_z_177 = tuple_temp_704;
    x_207 = t_a_x_146;
    println404(I2S161(x_207));
    x_121 = t_a_y_131;
    println404(I2S161(x_121));
    x_144 = t_a_z_454;
    println404(I2S161(x_144));
    x_105 = t_b_x_595;
    println404(I2S161(x_105));
    x_125 = t_b_y_404;
    println404(I2S161(x_125));
    x_170 = t_b_z_177;
    println404(I2S161(x_170));
    tuple_temp_694 = 7;
    tuple_temp_168 = 8;
    tuple_temp_303 = 9;
    t_a_x_146 = tuple_temp_694;
    t_a_y_131 = tuple_temp_168;
    t_a_z_454 = tuple_temp_303;
    x_144 = t_a_x_146;
    println404(I2S161(x_144));
    x_140 = t_a_y_131;
    println404(I2S161(x_140));
    x_149 = t_a_z_454;
    println404(I2S161(x_149));
    if (((t_a_x_146 == 7) and (t_a_y_131 == 8)) and (t_a_z_454 == 9)) {
        testSuccess151();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S161(integer x339) returns string { 
}


IS_NATIVE function println404(string s322) { 
}


IS_NATIVE function testSuccess151() { 
}