automata v0.1.0 MockSeq1.State