let to_string pp x = 
  pp str_formatter x;
  flush_str_formatter ()