pub const seL4_InvalidCapability: usize = 2;