Symbol: interpret_igmp