#include <gpuintrin.h>

extern "C" __gpu_kernel void noargs() { (void)0; }