let
prout_string s =
Printf
.fprintf !tmp_channel
"%s"
s