Re: [PyOpenCL] Debugging and printing in GPu kernel