Symbol: big_mul_add_vec_init