f2.awk

awk scripts awk scripts awk scripts awk scripts

BEGIN {
         for (i=1;    ;   ) { printf " %d", i; if (i >= 9) break; i++ }
    printf "\n"
}