let to_stdout pp = pp Format.std_formatter