* web/globals.ml: memoize