Constant miri::alloc_addresses::reuse_pool::MAX_POOL_SIZE

source · 
const MAX_POOL_SIZE: usize = 64;