miri::alloc_addresses::reuse_pool

Constant MAX_POOL_SIZE

Source 
const MAX_POOL_SIZE: usize = 64;