Constant SECCOMP_RET_ERRNO 

pub const SECCOMP_RET_ERRNO: u32 = 0x0005_0000;