Don't use ValueMap::operator[], since that is much more
expensive than lookup().