#include <stdint.h>
#include <stdio.h>
#include <inttypes.h>
int main(void) {
uint32_t x = UINT32_MAX - 16;
uint32_t y = 0x1000;
printf("0x%"PRIx32
" + 0x%"PRIx32
" = 0x%"PRIx32
"\n", x
, y
, x
+y
);
return 0;
}
I2luY2x1ZGUgPHN0ZGludC5oPgojaW5jbHVkZSA8c3RkaW8uaD4KI2luY2x1ZGUgPGludHR5cGVzLmg+CgppbnQgbWFpbih2b2lkKSB7Cgl1aW50MzJfdCB4ID0gVUlOVDMyX01BWCAtIDE2OwoJdWludDMyX3QgeSA9IDB4MTAwMDsKCQoJcHJpbnRmKCIweCUiUFJJeDMyIiArIDB4JSJQUkl4MzIiID0gMHglIlBSSXgzMiJcbiIsIHgsIHksIHgreSk7CgkKCXJldHVybiAwOwp9