Symbol: wmi_event_id