Python statecharts: https://aleph2c.github.io/miros/index.html