#include <stdio.h>

int main(void) 
{
   int *p = (int *) 0x31415926;
   printf("*p1 = %d\n", *p);

   return 0;
}