Constant seL4_AlignmentError 

pub const seL4_AlignmentError: Type = 5;