pub const PTRACE_SETOPTIONS: c_int = 0x4200;