>>> from amaranth import *
>>> m = Module()
>>> with m.FSM() as fsm:
...     pass
...
>>> fsm
<amaranth.hdl.dsl.FSM object at 0x7f7ba6dca850>
>>>