Symbol: big_sqr_vec_umul