const char omp_offload_device_kind[] = 
"";
const char omp_offload_device_arch[] = 
"";
const char omp_offload_device_isa[] = 
"";