Looks like PR isn't ready: don't see asserts for `latch` and `count`...