gawk: lintset.awk:4: warning: exp: received non-numeric argument