// Only thing we care about is that these headers are found
#include <cupti.h>

int main()
{
  return 0;
}