Delete leaky.c