public static void leveldb_options_destroy(IntPtr /*Options*/ options) { NativeRocksDB.rocksdb_options_destroy(options); }