Revision of <em>pthreads library</em> from <em>2008, August 1 - 13:51</em>