public static extern void leveldb_options_set_write_buffer_size(IntPtr /*Options*/ options, long size);