Symbol: big_mul_set_vec