#! /usr/bin/awk -f {lines[NR]=$0} END {for (i=NR; i>=1; i--) print lines[i]}