string-map implemented