Symbol: dbg_ec_edwards_point_print