+ std::ostringstream oss;
+ oss << "0x";
+ oss.width(2);
+ oss.fill('0');
+ oss.setf(std::ios::hex, std::ios::basefield);
+ oss << int(p.first);
+ os << oss.str() << ":" << unsigned(p.first);
+ if (isgraph(p.first)) os << "]";
+ os << " (" << double(p.second) / total * 100 << "% : "
+ << unsigned((double(p.second) / total) * 4294967296ull) << ")\n";