Where do you find `sched_thread_pid`?