let close input = close_in input.inc