kernel void test_kernel(global int* out)
{
  out[0] = DEF;
}