more cl_int casting