pthread printf

Unless someone can think of a system with an opaque pthread_t that we're likely to run on, let's just simplify this for now, and deal with the opaque pthread_t case when we get there.