let
prout_int i =
Printf
.fprintf !tmp_channel
"%d"
i