function initGlobals929() { 
}


function main114() { 
    local real v_x145
    local real v_y114
    local real v_z459
    local real this_x386
    local real this_y214
    local real this_z203
    local real r184
    local real tuple_temp173
    local real tuple_temp711
    local real tuple_temp169
    local real tuple_temp183
    local real tuple_temp110
    local real tuple_temp104
    local real tuple_temp190
    local real tuple_temp208
    local real tuple_temp162
    initGlobals929();
    tuple_temp_173 = 1.;
    tuple_temp_711 = 2.;
    tuple_temp_169 = 3.;
    v_x_145 = tuple_temp_173;
    v_y_114 = tuple_temp_711;
    v_z_459 = tuple_temp_169;
    tuple_temp_183 = v_x_145;
    tuple_temp_110 = v_y_114;
    tuple_temp_104 = v_z_459;
    this_x_386 = tuple_temp_183;
    this_y_214 = tuple_temp_110;
    this_z_203 = tuple_temp_104;
    r_184 = 2.;
    tuple_temp_190 = (this_x_386 * r_184);
    tuple_temp_208 = (this_y_214 * r_184);
    tuple_temp_162 = (this_z_203 * r_184);
    v_x_145 = tuple_temp_190;
    v_y_114 = tuple_temp_208;
    v_z_459 = tuple_temp_162;
    if (((v_x_145 == 2.) and (v_y_114 == 4.)) and (v_z_459 == 6.)) {
        testSuccess111();
    } else {
    };
}


function config137() { 
}


IS_NATIVE function testSuccess111() { 
}