The standard doesn't mandate file extensions, but .c certainly seem wrong