Add double_free.c