pub const CL_DEVICE_MAX_CLOCK_FREQUENCY: cl_uint = 0x100C;