[PPL-devel] Bug in GCC?