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
main(void)12 main (void)
13 {
14   if (((int) (a / b)) == 42)
15     printf ("PASS\n");
16   return 0;
17 }
18