BatIO.input ->
object method close_in : unit -> unit method get : unit -> char end