let channel_of_channel = Rss_io.channel_of_channel