let
prout_endline s =
Printf
.fprintf !tmp_channel
"%s\n"
s