3 ms·

Knuth vs McIlroy all over again.