/systems/knuth/dist/lib/