Constant seL4_ObjectTypeCount 

pub const seL4_ObjectTypeCount: Type = 9;