BEGIN { out = "generated/AWK-21-001.txt" }
{ print $1, $3 > out }
END {
  close(out)
  while ((getline line < out) > 0) print line
  close(out)
}