1 #include <omp.h>
2 #include <stdlib.h>
3 
4 int
main()5 main ()
6 {
7   if (omp_get_initial_device () != omp_get_num_devices ())
8     abort ();
9   return 0;
10 }
11