// printf-c-1.c
#include <stdio.h>

int main()
{
	int i = 0x12345678;
	printf("i = %i = 0x%08x\n", i, i);
	return 0;
}