Constant miri::alloc_addresses::reuse_pool::ADDR_TAKE_CHANCE

const ADDR_TAKE_CHANCE: f64 = 0.5;