Symbol: event_cmp