Maybe the value of `pthread_self()` should be written in a variable first, so one could see it on the stack while debugging with `-O0`.