pgawk --lint --dump --profile -f rbrt input.txt