#include <gpuintrin.h>

extern "C" __gpu_kernel void multiargs(char, int *, short) { (void)0; }