modified:   tools/check_leveldb.cpp