[a1369209993]

The (C) language spec says that:

  x = 5;
  int* p = &x;
  x = 6; // new binding of x
  printf("%i\n",*p);

prints "6". If new bindings lived at different addresses, it would print "5".