Constant seL4_UserException_Number 

pub const seL4_UserException_Number: Type = 3;