Constant seL4_MinUntypedBits 

pub const seL4_MinUntypedBits: u32 = 4;