Delete sanity.c