pub const CL_DEVICE_VENDOR_ID: cl_uint = 0x1001;