Revision of <em>pthreads library</em> from <em>2008, August 2 - 20:32</em>