Symbol: ec_GFp_add_6