Symbol: ec_point_print