pub const CL_DEVICE_MAX_CLOCK_FREQUENCY: cl_device_info = 0x100C;