let bar = StringMap.find "bar" map;; (* bar = 10 *)