let default = MapPath.empty