-#include <limits.h>
-
-#if ULONG_LONG_MAX != 18446744073709551615ull && ULONG_MAX != 18446744073709551615ull
-int main(void) { exit (0); }
-#else
-#if ULONG_MAX != 18446744073709551615ull
-typedef unsigned long long ull;
-#else
-typedef unsigned long ull;
-#endif
-
-#include <stdio.h>
-
-void checkit(int);
-
-main () {
- const ull a = 0x1400000000ULL;
- const ull b = 0x80000000ULL;
- const ull c = a/b;
- const ull d = 0x1400000000ULL / 0x80000000ULL;
-
- checkit ((int) c);
- checkit ((int) d);
-
- exit(0);
-}
-
-void checkit (int a)
-{
- if (a != 40)
- abort();
-}
-#endif