Symbol: ec_GFp_mul_mont