These might be neater using `.to_strbuf()`.