More edits of print_string() to return_string().

The codebase remains broken, alas. But we remain undaunted.