FLUSH_ID_DF1_FIXED_INC
send_flush_id_case(txfd, &daddr, FLUSH_ID_DF1_FIXED_INC);
case FLUSH_ID_DF1_FIXED_INC: /* DF=1, two packets fixed, and one