leveldb source code with annotation