29 return add_name_body(name, name);
46 add_name(
const std::string &name,
const std::string &prefix) {
47 return add_name_body(name, prefix);
std::string add_name(const std::string &name)
If name is nonempty and so far unique, returns it unchanged.