public static void leveldb_destroy_db(IntPtr /* Options*/ options, string name, out IntPtr error) { NativeRocksDB.rocksdb_destroy_db(options, name, out error); }