let print_desc ppf x = fprintf ppf "%s" (desc x)