awk/bugs-fixed/getline-numeric.in