Revert "automa"

This reverts commit 80e5dcbbbe43200b0ed923d8003de3d62b743f8e.
Revert "Revert "automa""

This reverts commit 2cb77093c5e6dc1363368c0b324f50da5673c422.