state transitions __initial _a a __initial->_a _c c enter ^out.in_c _b b enter ^out.in_b _b->_c _a->_b