int main()
{
	printf ("hex: 0x012345670ABCDEF0LL==%llx, 0x012345670ABCDEF0==%llx\n", 
		0x012345670ABCDEF0LL, 0x012345670ABCDEF0);
}