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