Constant BADADDR 

pub const BADADDR: Address = u64::MAX /* 18_446_744_073_709_551_615u64 */;

The invalid-address sentinel (BADADDR); every Address-returning facade call uses it for “no address”.