let
out_fmt=ref (formatter_of_out_channel stdout)