UpdateMaxNumberKey 9319 src/objects.cc       dictionary->UpdateMaxNumberKey(index);
UpdateMaxNumberKey 12246 src/objects.cc   UpdateMaxNumberKey(key);
UpdateMaxNumberKey 12260 src/objects.cc   UpdateMaxNumberKey(key);
UpdateMaxNumberKey 3248 src/objects.h    void UpdateMaxNumberKey(uint32_t key);