Constant miri::alloc_addresses::reuse_pool::ADDR_REMEMBER_CHANCE

const ADDR_REMEMBER_CHANCE: f64 = 0.5;