let empty = make LocInfo.empty Locations.Zone.bottom