#include <stdio.h>

int main() {
    printf("Hello world!\n");

    int* pI = (int*)malloc(sizeof(int));
    *pI=2;
    free(pI);
    printf("Now freeing a pointer twice...\n");
    free(pI);
    printf("Did you notice?\n");
    return 0;
}