Re: [PPL-devel] ppl / multithreading