PHP: procs