reverse.awk

{
  lines[NR] = $0
}
END {
  for (i = NR; i > 0; i--) {
    print lines[i]
  }
}