wrap procedure ..._mul_vec_mat_modulo()