real vec_op_mult_return_x117
real vec_op_mult_return_y141
real vec_op_mult_return_z177




function initGlobals179() { 
}


function main208() { 
    initGlobals179();
    init_test125();
}


function config649() { 
}


function init_test125() { 
    local real v_x175
    local real v_y782
    local real v_z127
    local real tuple_temp145
    local real tuple_temp199
    local real tuple_temp594
    local real tuple_temp210
    local real tuple_temp203
    local real tuple_temp150
    tuple_temp_145 = 1.;
    tuple_temp_199 = 2.;
    tuple_temp_594 = 3.;
    v_x_175 = tuple_temp_145;
    v_y_782 = tuple_temp_199;
    v_z_127 = tuple_temp_594;
    tuple_temp_210 = vec_op_mult801(v_x_175, v_y_782, v_z_127, 2.);
    tuple_temp_203 = vec_op_mult_return_y_141;
    tuple_temp_150 = vec_op_mult_return_z_177;
    v_x_175 = tuple_temp_210;
    v_y_782 = tuple_temp_203;
    v_z_127 = tuple_temp_150;
    if (((v_x_175 == 2.) and (v_y_782 == 4.)) and (v_z_127 == 6.)) {
        testSuccess191();
    } else {
    };
}


function vec_op_mult801(real this_x195, real this_y254, real this_z108, real r170) returns real { 
    vec_op_mult_return_x_117 = (this_x_195 * r_170);
    vec_op_mult_return_y_141 = (this_y_254 * r_170);
    vec_op_mult_return_z_177 = (this_z_108 * r_170);
    return vec_op_mult_return_x_117;
}


IS_NATIVE function testSuccess191() { 
}