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