Constant PTRACE_GET_SYSCALL_USER_DISPATCH_CONFIG 

pub const PTRACE_GET_SYSCALL_USER_DISPATCH_CONFIG: c_uint = 0x4211;