1  #include <stdio.h>
       2  
       3  #ifdef HAS_INT128
       4  volatile __int128 a = 42;
       5  volatile __int128 b = 1;
       6  #else
       7  volatile long long a = 42;
       8  volatile long long b = 1;
       9  #endif
      10  
      11  int
      12  main (void)
      13  {
      14    if (((int) (a / b)) == 42)
      15      printf ("PASS\n");
      16    return 0;
      17  }