state transitions __initial _ready ready __initial->_ready _final final _ready->_final start [ok]^out.ok