Some AWK scripts as examples of how to process input.