pub const seL4_ObjectTypeCount: usize = _; // 9usize