miri::alloc_addresses::reuse_pool

Constant MAX_POOL_SIZE

source 
const MAX_POOL_SIZE: usize = 64;