Don Knuth and Niklaus Wirth, 20:35