Hmm. Are there any other D. E. Knuth's in the world? Maybe someone should change their name and play with the code...