s5src/src/mawk
