state transitions __initial _D D __initial->_D _D->_D dial(d:int) [c < 10]/c = c + 1 ^out.out