public static void leveldb_comparator_destroy(IntPtr /* leveldb_comparator_t* */ cmp) { NativeRocksDB.rocksdb_comparator_destroy(cmp); }