let pp_no_data fmt _d = fprintf fmt "()"