Symbol: icmp_tpi_open