let pp_print_para fmt str = pp_open_box fmt 0; pp_print_string_spaced fmt str; pp_close_box fmt (); pp_print_endblock fmt ()