At one point, I was pretty sure I found an off-by-one in the partitioning and gave up trying to prove it (1.0.1, so a long time ago)