let pretty fmt m = 
  Format.fprintf fmt 
    "Access_path:@\n%a@\n=============@\n" 
    (BaseMap.pretty 
       (fun fmt (z,loc) -> Format.fprintf fmt "@[<hov 1>[Zone:%a@ Loc_bits:%a]@]" 
          Zone.pretty z 
          Location_Bits.pretty loc))
    m