awk: посчитай строки

Каждую строку входа awk считает «записью» и ведёт по ним встроенный счётчик NR (number of records), который растёт по мере чтения файла. Особый блок END{...} срабатывает ровно один раз — после того как файл дочитан, и именно в этот момент счётчик равен полному числу строк. Идея задачи: не считать строки вручную, а снять готовое значение служебной переменной в финальном блоке и записать его в файл через перенаправление.