statcon:Pythonic有限状态机