> Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth, Notes on the van Emde Boas construction of priority deques: A

> Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth, Notes on the van Emde Boas construction of priority deques: An instructive use of recursion (1977) https://www-cs-faculty.stanford.edu/~knuth/faq.html https://www-cs-faculty.stanford.edu/~knuth/faq.html