s5src/src/mawk/v7
