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