knuth-ext-41