Constant PTRACE_SETOPTIONS 

pub const PTRACE_SETOPTIONS: c_uint = 0x4200;