\input knuth-plain \dump