#include <gpuintrin.h>

__gpu_kernel void noargs() { (void)0; }