323c323
< uint64_t getEventCount(${ident}_Event event);
---
> uint64 getEventCount(${ident}_Event event);
325c325
< uint64_t getTransitionCount(${ident}_State state, ${ident}_Event event);
---
> uint64 getTransitionCount(${ident}_State state, ${ident}_Event event);
805c805
< uint64_t
---
> uint64
817c817
< uint64_t
---
> uint64
1215a1216,1217
> port_to_buf_map, in_msg_bufs, msg_bufs = self.getBufferMaps(ident)
>