1#include <gpuintrin.h>2 3extern "C" __gpu_kernel void foo(int *out) {4 out[__gpu_thread_id(0)] = __gpu_thread_id(0) + 1;5}6