Constant seL4_UserException_Code 

pub const seL4_UserException_Code: Type = 3;