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