let
close input = close_in input.inc