4 ms·

Knuth is very pleasant in person too!