toggle> ;
--- Output: SEQ(2) STATE1(true) STATE2(false) S TOGGLE(false)
toggle> ;
--- Output: SEQ(3) STATE1(true) STATE2(false) TOGGLE(true)
toggle> ;
--- Output: SEQ(4) STATE1(true) STATE2(false) S TOGGLE(false)
toggle> ;
--- Output: SEQ(5) STATE1(true) STATE2(false) TOGGLE(true)
toggle> ;
--- Output: SEQ(6) STATE1(true) STATE2(false) S TOGGLE(false)