13   void appendRank(std::stringstream& ss, const char* phrase) {  in appendRank()
16   std::string appendSync(const char* phrase) {  in appendSync()
17     std::stringstream ss;  in appendSync()
22   std::string appendSyncWrite(const char* phrase) {  in appendSyncWrite()
23     std::stringstream ss;  in appendSyncWrite()
27   std::string appendColor(const char* phrase, int numFiles) {  in appendColor()
29     std::stringstream ss;  in appendColor()
46   std::string syncName = appendColor(filename, sf->nfiles);  in sync_openfile_read()
60   std::string syncName = appendColor(filename, sf->nfiles);  in sync_openfile_write()
89   std::string syncPhrase = appendSync(keyphrase);  in sync_readheader()
102   std::string syncPhrase = appendSyncWrite(keyphrase);  in sync_writeheader()
114   std::string syncPhrase = appendSync(keyphrase);  in sync_readdatablock()
126   std::string syncPhrase = appendSyncWrite(keyphrase);  in sync_writedatablock()
134   std::string fullname(in);  in sync_constructname()