Anonymous

#include <stdio.h>

int main () {

unsigned long long int a,b,c;
unsigned int *d = malloc (sizeof(int)*2) ;
a = 0x0FFFFFFFFu ; b = 0x0FFFFFFFFu ;
c=a+b ;
d[1] = (unsigned int)(c & 0x0FFFFFFFFu) ;
d[0] = (unsigned int)(c>>32) ;
printf ("%u%u\n" , d[1] , d[0]) ;

} /* main */