Constant SECCOMP_RET_TRACE 

pub const SECCOMP_RET_TRACE: c_uint = 0x7ff00000;