void WriteString(const char* val, size_t n);
void WriteString(const char* val) {
WriteString(val, ::std::char_traits<char>::length(val));
void WriteString(const char* val, size_t n);
void WriteString(const char* val) {
WriteString(val, ::std::char_traits<char>::length(val));