As noted above: this is the source file extension. You could default to `c`.