pub const CL_DEVICE_NUM_SLICES_INTEL: cl_device_info = 0x4252;