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