Constant miri::machine::ADDRS_PER_CONST

const ADDRS_PER_CONST: usize = 16;

Each const has multiple addresses, but only this many. Since const allocations are never deallocated, choosing a new AllocId and thus base address for each evaluation would produce unbounded memory usage.