pub const ADDRESS_BASE: u32 = 0x0001_0000 /* 65_536u32 */;
A pointer’s value is its offset into run-unit memory plus this, so that no item’s address is NULL.