Update sanity.c