Symbol: ec_GFp_simple_mul_single_ct