concurrent map, per https://github.com/mozart/mozart2/issues/34