let
pp_no_data fmt _d = fprintf fmt
"()"