void clean() {
    int *p = new int(42);
    delete p;
}