Timer callback should receive user data
Timer callback should receive user data

This is probably a typo. Instead of giving timer callback pointer to
Event_timer structure and void pointer to the same structure it now gets
as its second argument user specified data. For details see Event_timer
structure.

trskop/c-event-machine