let buf_formatter = let fmt = Format.formatter_of_buffer buf in Format.pp_set_margin fmt max_int; fmt