Symbol: ec_GFp_simple_dbl