../../../systems/knuth/local/lib/logosl9.mf