Be careful about using the following code -- I've only proven that it works, I haven't tested it.
Donald Knuth