Constant SECCOMP_RET_USER_NOTIF 

pub const SECCOMP_RET_USER_NOTIF: c_uint = 0x7fc00000;