Awk="`which gawk`"
Pawk="`which pgawk` --dump-variables=$HOME/tmp/awkvars.out --profile=$HOME/tmp/awkprof.out"

Awk="$Awk -f lib.awk "
Pawk="$Pawk -f lib.awk "