make 05_PrintStream_File.dpatch more compact