#include <stdio.h>
int main (int argc, char *argv[])
{
  int x = 10;
  void *p = &x;
  printf ("%i\n", *(int *) p);
  return 0;
}