TCP_AO_RCV_SNE_UPDATE
case TCP_AO_RCV_SNE_UPDATE: {
trace_ao_event_sne_expect(TCP_AO_RCV_SNE_UPDATE, this_ip_addr,
trace_ao_event_sne_expect(TCP_AO_RCV_SNE_UPDATE, this_ip_dest,