void dump_array(std::wostream & os, T const*const v, size_t const count){
if(!count) {
os << "<empty>";
} else {
os.fill('0');
for(unsigned int i = 0;i<count;++i){
if(i) {
os << " ";
os.width(0);
}
os.width(std::numeric_limits<T>::digits/4);
os<< std::hex << static_cast<unsigned int>( v[i] );
}
}
}
inline void PrintWithIndent(std::wostream& aStream, const std::wstring& aString, int aIndent)
{
aStream.width(aIndent);
aStream << L"";
aStream << aString;
}