Bill,

thanks for taking the time to detail this. That's *very* kind of you. 
Last question then: what is the purpose of libpthread_debug? Debugging 
the library itself?


Cheers and thanks a lot again
Vincent