Symbol: BIG_MUL_VEC