Added {_,}runStateF{,S}