This is the code listening from one C++ book.
void edit_document(std::string const& filename) { open_document_and_display_gui(filename); while(!do