/* __int128 feature (gcc extension) */
/* https://gcc.gnu.org/onlinedocs/gcc/_005f_005fint128.html */
__int128 y = ((__int128)0x7FFFFFFFFFFFFFFFULL << 32);
unsigned __int128 y2 = ((unsigned __int128)0xFFFFFFFFFFFFFFFFULL << 32);