from guardian import GuardState

class INIT(GuardState):
    def run(self):
        return 'A'

class A(GuardState):
    goto = True
    def run(self):
        return True

class B(GuardState):
    pass

class C(GuardState):
    def run(self):
        return True

class J(GuardState):
    request = False
    def run(self):
        if ezca['K'] != 0:
            return True

edges = [
    ('A', 'B'),
    ('B', 'C'),
    ('J', 'A'),
    ]