oh, right:
```
            with m.Else():
                m.d.sync += sr.eq(sr+1)
```