Symbol: interpret_icmp