/* Next event ID available for a newly registered event. */
uint32_t next_event_id;
/* Once this value reaches UINT32_MAX, no more id can be allocated. */
/* Next event ID available for a newly registered event. */
uint32_t next_event_id;
/* Once this value reaches UINT32_MAX, no more id can be allocated. */