Comment by cobbzilla

Is the correctness of its implementation of the algorithm unaffected by bugs in this state machine? Maybe I missed something.