Constant ISLET_REALM_SEALING_KEY 

pub const ISLET_REALM_SEALING_KEY: usize = 0xC700_0191;