pt               1683 src/dps8/dps8_cpu.c void printPtid(pthread_t pt)
pt               1685 src/dps8/dps8_cpu.c   unsigned char *ptc = (unsigned char*)(void*)(&pt);
pt               1687 src/dps8/dps8_cpu.c   for (size_t i=0; i < sizeof( pt ); i++)
pt               1694 src/dps8/dps8_cpu.c            pthread_mach_thread_np( pt ));
pt               2400 src/dps8/dps8_cpu.h void printPtid(pthread_t pt);