Revisions for <em>pthreads library</em>