We end up having the counter in ${} which is very ugly. It allows also empty increment leading to 0, but this might be a use case.