Sorry, but you are looking for something that isn't here.
Beware of bugs in the above code. I have only proved it correct, not tried it. — Donald Knuth
Beware of bugs in the above code. I have only proved it correct, not tried it.