```
with m.Switch(abc):
   with m.Case(0x12):
      m.d.sync += [...]
   with m.Default():