#include <stdio.h>

int main()
{
	long i = 0x80000000;
	
	printf("int: %d\n", i);

	
	return 0;
}