Looks pretty correct to me... We just keep track of the table size and make it bigger if necessary. We additionally have a mode where we just calculate the ne

Looks pretty correct to me... We just keep track of the table size and make it bigger if necessary. We additionally have a mode where we just calculate the necessary size, without writing any data structures. So we have kinda added double safety against this particular bug.