@Module.scoped_function # name subject to bikeshedding
def go_to_foo(m):
    m.d.sync += x.eq(1)
    m.next = "FOO"