let pretty_status fmt = function
      | Status s -> Format.fprintf fmt "status %a" S.pretty s
      | Location l -> Format.fprintf fmt "location %a" Locations.pretty l