let pp_labels fmt = function
      | [] -> ()
      | x::xs ->
          Format.fprintf fmt "@[{%s" x ;
          List.iter (fun x -> Format.fprintf fmt ",%s" x) xs ;
          Format.fprintf fmt "}@]"