<s>[INST] I have a program using AWK to process data. One of the things I do is print out a filepath. I need to add the .correct extension for a certain type of file type in a specific column to that filepath.

Here's how I'm doing it at the moment:

```awk
printf "%s/.correct\n", $10
```

So this prints the column 10, with the .correct on the end. Now I need to make sure that if the value in column 3 is a certain value then I only add the .correct extension to the filepath for certain filetypes (let's say .txt files).

How can I do it?[/INST]