Maybe there is already a way to do this. For debugging purposes I'd like to be able to print precisely all the parameters that eventually get fed into the OpenCL API C calls.
Regards,
David