168 static void AppendWithSpace(std::string* str, Slice msg) {  in AppendWithSpace()  argument
169   if (msg.empty()) return;  in AppendWithSpace()
173   str->append(msg.data(), msg.size());  in AppendWithSpace()
220   void AddMessage(Slice msg) {  in AddMessage()  argument
221     AppendWithSpace(&message_, msg);  in AddMessage()
746       char msg[100];  in DoWrite()  local
747       snprintf(msg, sizeof(msg), "(%d ops)", num_);  in DoWrite()
748       thread->stats.AddMessage(msg);  in DoWrite()
813     char msg[100];  in ReadRandom()  local
814     snprintf(msg, sizeof(msg), "(%d of %d found)", found, num_);  in ReadRandom()
815     thread->stats.AddMessage(msg);  in ReadRandom()
856     char msg[100];  in SeekRandom()  local
857     snprintf(msg, sizeof(msg), "(%d of %d found)", found, num_);  in SeekRandom()
858     thread->stats.AddMessage(msg);  in SeekRandom()