RocksDB development finds a CPU bug
rocksdb.org