(print_escaped): New function.