let outchannel_of_string str = 
  Format.formatter_of_out_channel (Pervasives.open_out str)