#include <cstdio>

__global__ void hello_world() {
  printf("Thread %d: Hello, World!\n", threadIdx.x);
}

int main() {
  // TODO: Launch CUDA kernel and synchronize
  return 0;
}