i was running a small c program:
#include int main() { char *p; p = (char *)malloc(10); free(p); free(p); free(p); printf(\"\\npointer is freed!!\
freeing already freed memory, leads to undefined behavior, you got lucky, in this case, on other times you might get your core-dump