#!/usr/bin/awk -f
#
# Loop, printing numbers from 0-20, except for 5
# (From the GNU Awk User's Guide)
BEGIN {
for (x = 0; x <= 20; x++) {
if (x == 5)
continue
printf "%d ", x
}
print ""