pub const INTEGER_HASH_SIZE: u32 = 8191;