[finishes #70217676] Termina CS automata.