Symbol: V_icmp_may_rst