Constant PTRACE_INTERRUPT 

pub const PTRACE_INTERRUPT: c_uint = 0x4207;