* ```
m.d.sync += counter.eq(0)
m.d.sync += counter.eq(counter + 1)
```