several *.c files: