Added assertions for several *.c files.