What is the correct extension for a C source file?