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