#include <stdio.h>
typedef unsigned int uint128_t __attribute__((mode(TI)));

int main()
{
 uint128_t holybuffalobatman;
 srand(0xDEADBEEF);
 rand();

 holybuffalobatman |= (unsigned int)rand();
 holybuffalobatman <<= 32;
 holybuffalobatman |= (unsigned int)rand();
 holybuffalobatman <<= 32;
 holybuffalobatman |= (unsigned int)rand();
 holybuffalobatman <<= 32;
 holybuffalobatman |= (unsigned int)rand();

 printf("0x%016llx%016llx\n", (unsigned long long)(holybuffalobatman >> 64), (unsigned long long)holybuffalobatman);
}