/systems/knuth/dist/