Constant miri::alloc_addresses::reuse_pool::MAX_POOL_SIZE

const MAX_POOL_SIZE: usize = 64;