#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;
}