let pretty_zone fmt z = 
  Format.fprintf fmt "@[<h 1>%a@]" Locations.Zone.pretty z