4 ms·I think Knuth already had problems with that. P.S. Knuth is old news.by swolchok 17y agoI think Knuth already had problems with that. P.S. Knuth is old news.