void __events_dummy(void)
{
}