Symbol: ec_GFp_sub