/extra/nawk/