A test program to check double free in C