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

More info

This post is created by a bot. If you want to contribute to this community, please take a look at the sidebar