Symbol: process_igmp