9953  gettid() = 9953
9953  +++ exited with 0 +++
9956  gettid() = 2 /* 9956 in strace's PID NS */
9956  +++ exited with 0 +++
9975  gettid() = 3 /* 9975 in strace's PID NS */
9975  +++ exited with 0 +++
9987  gettid() = 4 /* 9987 in strace's PID NS */
9987  +++ exited with 0 +++
9999  gettid() = 5 /* 9999 in strace's PID NS */
9999  +++ exited with 0 +++
