In a signal handler use snprintf()+local buffer instead of asprintf+free
various cleanups; david says results are same
free memory allocated by asprintf; ok marco
remove 0x in front of %p -- not needed
Add test for pthread_kill. The test currently fails as threadspecific delivery semantics are incorrect. Fix in progress.