let to_stdout pp = pp std_formatter