Beware of bugs in the above code; I have only proved it correct, not tried it. -- Donald Knuth
Happy New Year! I hope everyone celebrated safely. We didn't do anything. One of these days we'll have to. I take that back, we played Zelda. That's related to the new year, right?