Symbol: print_hmi_event_info