moved knuth's stuff in a separate dir