Symbol: dbg_ec_point_print