#include <stdio.h>

main()
{
  int i, j;
  int *ip, *jp;
  void *v;
   
  i = 1000;

  ip = &i;

  v = (void *) ip;

  jp = (int *) v;

  printf("%d %d %d\n", i, *ip, *jp);
  printf("0x%x 0x%x 0x%x\n", ip, v, jp);
}