pub const rocksdb_user_key_comparison_count: c_uint = 0;