Constant seL4_NumInitialCaps 

pub const seL4_NumInitialCaps: Type = 16;