let
prout_newline () =
Printf
.fprintf !tmp_channel
"\n"