#include <stdint.h>
#include <stdio.h>
#include <stdlib.h>

int main(int argc, char** argv) {
  int32_t x = 351;
  int32_t* p;   // p is a pointer to a int32_t

  p = &x;       // p now contains the addr of x
  printf("&x is %p\n", &x);
  printf(" p is %p\n",  p);
  printf(" x is %d\n",  x);

  *p = 333;     // change value of x
  printf(" x is %d\n",  x);

  return EXIT_SUCCESS;
}