7259  gettid() = 7259
7259  +++ exited with 0 +++
7262  gettid() = 2 /* 7262 in strace's PID NS */
7262  +++ exited with 0 +++
7273  gettid() = 3 /* 7273 in strace's PID NS */
7273  +++ exited with 0 +++
7282  gettid() = 4 /* 7282 in strace's PID NS */
7282  +++ exited with 0 +++
7289  gettid() = 5 /* 7289 in strace's PID NS */
7289  +++ exited with 0 +++
