Constant seL4_CapInitThreadTCB 

pub const seL4_CapInitThreadTCB: Type = 1;