pub const PTRACE_DETACH: u32 = 17; // 17u32