OpenCL extension for csmith.