Symbol: ec_GFp_simple_field_mul