main()
{
  int x, y ;
  x = 0x12345678 ;
  y = 305419896 ;
  printf("x: 0x%x == %d\n",x,x );
  printf("y: 0x%x == %d\n",y,y );
}