in_knuth