let print_channel = Rss_io.print_channel