Constant MARK_REALM 

pub const MARK_REALM: usize = 0xc400_01b0;