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

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

小心上述程式码的错误;我只是证明了它是正确的，没有试过。

-- Donald Knuth 高德纳