s5src/src/mawk/config-user
