(define mystm (automaton init [init : (a -> slurp)] [slurp : (b -> done) (* -> slurp)] [done : success] ) )