"Beware of bugs in the above code; I have only proved it correct, not tried it." - Donald Knuth

https://news.ycombinator.com/item?id=12761986 (being this link more than 10yrs old is not surprising)