How does Awk ' a[$0]++' work? | Dark Hacker News