Re: ptrace() behaviour when doing PTRACE_KILL