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