FLUSH_ID_DF1_INC_FIXED
send_flush_id_case(txfd, &daddr, FLUSH_ID_DF1_INC_FIXED);
case FLUSH_ID_DF1_INC_FIXED: /* DF=1, two packets incrementing, and