Added 'PHP Int, pthreads ep.'