dump_string can take std::string; no need for the c_str() here