/* * tcp_new_dsack: record the reception of a duplicated segment. */