typedef unsigned int __uint128 __attribute__ ((__mode__ (TI)));