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

Advertising Disclosure: Please note that many links to retailers are affiliate links, which yields a commission for us. allauthor.com is a participant in the Amazon Services LLC Associates Program, an affiliate advertising program designed to provide a means for sites to earn advertising fees by advertising and linking to Amazon sites.