Attic/comparisons/ex21/wrong1.cc
#include <noduma.h>
#include <iostream>
#include <dumapp.h>
using namespace std;
int main() {
cout << "Hello world!" << endl;
int* pI = new int;
*pI=2;
delete(pI);
cerr << "Now deleting a pointer twice..." << endl;
delete(pI);
cerr << "Did you notice?" << endl;
return 0;
}