323c323
< uint64 getEventCount(${ident}_Event event);
---
> uint64_t getEventCount(${ident}_Event event);
325c325
< uint64 getTransitionCount(${ident}_State state, ${ident}_Event event);
---
> uint64_t getTransitionCount(${ident}_State state, ${ident}_Event event);
805c805
< uint64
---
> uint64_t
817c817
< uint64
---
> uint64_t