pub const CL_DEVICE_HALF_FP_CONFIG: cl_uint = 0x1033;