Re: [PPL-devel] Bug in GCC?