Symbol: big_mul_vec_umul