state transitions __initial _a a __initial->_a _b b entry ^out.done _a->_b