Extlib.IO.input -> rec_in_channel