Constant PTRACE_GET_SYSCALL_USER_DISPATCH_CONFIG 

pub const PTRACE_GET_SYSCALL_USER_DISPATCH_CONFIG: u32 = 16913;