A C file with no contents.