Symbol: ec_GFp_simple_point2oct