unique_name       109 src/Util.cpp   string unique_name(char prefix) {
unique_name       114 src/Util.cpp   string unique_name(const std::string &prefix) {