symbol: Return std::string from getName