pthread_mach_thread_np 2062 src/dps8/dps8_cpu.c     (void)sir_info ("Mach thread ID: 0x%x", pthread_mach_thread_np(pthread_self()));
pthread_mach_thread_np  389 src/dps8/threadz.c   mach_port_t mach_thread = pthread_mach_thread_np(*thread);