/obsolete/systems/knuth/