Symbol: ec_edwards_point_print