pub const DEFAULT_NUM_DISTINCT: u32 = 200;