Christian Maeder wrote: > Indeed, the gain is significant (at least 5% lookup speedup!) I should say, my whole application became 5% faster, possibly spending 80% on Map operations of which (probably) 80% were lookups. C.