Constant BADADDR 

pub const BADADDR: ea_t;