../../../systems/knuth/local/lib/logod10.mf