RocksDB development finds a CPU bug · HackerTrans