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