1*86d7f5d3SJohn Marino #include <inttypes.h>
2*86d7f5d3SJohn Marino #include <stdio.h>
3*86d7f5d3SJohn Marino 
main(void)4*86d7f5d3SJohn Marino int main(void)
5*86d7f5d3SJohn Marino {
6*86d7f5d3SJohn Marino   __uint128_t num = 1000;
7*86d7f5d3SJohn Marino   __uint128_t denom = 10;
8*86d7f5d3SJohn Marino   __uint128_t res = num / denom;
9*86d7f5d3SJohn Marino   printf("Result = %ju\n", (uintmax_t)res);
10*86d7f5d3SJohn Marino   return 0;
11*86d7f5d3SJohn Marino }
12*86d7f5d3SJohn Marino 
13