#include <iostream>
int main()
{
  int* pointer = new int(42);
  std::cout << *pointer << std::endl;
  delete pointer;
  // Ein Dereferenzieren nach einem delete würde zu einem
  // Crash führen!
  // std::cout << *pointer << std::endl;
  return 0;
}