Symbol: big_mul_vec