function initGlobals185() { 
}


function main648() { 
    initGlobals185();
    init_test144();
}


function config164() { 
}


function init_test144() { 
    local integer t_a_x530
    local integer t_a_y134
    local integer t_a_z197
    local integer t_b_x802
    local integer t_b_y161
    local integer t_b_z487
    local integer x115
    local integer x744
    local integer x431
    local integer x170
    local integer x571
    local integer x702
    local integer x144
    local integer x596
    local integer x172
    local integer tuple_temp335
    local integer tuple_temp847
    local integer tuple_temp130
    local integer tuple_temp159
    local integer tuple_temp158
    local integer tuple_temp195
    local integer tuple_temp200
    local integer tuple_temp111
    local integer tuple_temp131
    tuple_temp_335 = 1;
    tuple_temp_847 = 2;
    tuple_temp_130 = 3;
    tuple_temp_159 = 4;
    tuple_temp_158 = 5;
    tuple_temp_195 = 6;
    t_a_x_530 = tuple_temp_335;
    t_a_y_134 = tuple_temp_847;
    t_a_z_197 = tuple_temp_130;
    t_b_x_802 = tuple_temp_159;
    t_b_y_161 = tuple_temp_158;
    t_b_z_487 = tuple_temp_195;
    x_115 = t_a_x_530;
    println738(I2S673(x_115));
    x_744 = t_a_y_134;
    println738(I2S673(x_744));
    x_431 = t_a_z_197;
    println738(I2S673(x_431));
    x_170 = t_b_x_802;
    println738(I2S673(x_170));
    x_571 = t_b_y_161;
    println738(I2S673(x_571));
    x_702 = t_b_z_487;
    println738(I2S673(x_702));
    tuple_temp_200 = 7;
    tuple_temp_111 = 8;
    tuple_temp_131 = 9;
    t_a_x_530 = tuple_temp_200;
    t_a_y_134 = tuple_temp_111;
    t_a_z_197 = tuple_temp_131;
    x_144 = t_a_x_530;
    println738(I2S673(x_144));
    x_596 = t_a_y_134;
    println738(I2S673(x_596));
    x_172 = t_a_z_197;
    println738(I2S673(x_172));
    if (((t_a_x_530 == 7) and (t_a_y_134 == 8)) and (t_a_z_197 == 9)) {
        testSuccess161();
    } else {
    };
}


IS_NATIVE IS_EXTERN @extern function I2S673(integer x701) returns string { 
}


IS_NATIVE function println738(string s853) { 
}


IS_NATIVE function testSuccess161() { 
}