Constant seL4_TCBFlag_MASK 

pub const seL4_TCBFlag_MASK: Type = 1;