ap->dccpap_ack_seqno, ap->dccpap_ack_ackno); 
(unsigned long long) ap->dccpap_ack_seqno, (unsigned long long) ap->dccpap_ack_ackno); 
static void dccp_ackpkts_check_rcv_ackvector(struct dccp_ackpkts *ap,					     struct sock *sk, u64 ackno,					     const unsigned char len,					     const unsigned char *vector){	unsigned char i;	/* Check if we actually sent an ACK vector */	if (ap->dccpap_ack_seqno == DCCP_MAX_SEQNO + 1)		return;	/*	 * We're in the receiver half connection, so if the received an ACK vector	 * ackno (e.g. 50) before dccpap_ack_seqno (e.g. 52), we're not interested.	 *	 * Extra explanation with example:	 * 	 * if we received an ACK vector with ackno 50, it can only be acking	 * 50, 49, 48, etc, not 52 (the seqno for the ACK vector we sent).	 */	// dccp_pr_debug("is %llu < %llu? ", ackno, ap->dccpap_ack_seqno);	if (before48(ackno, ap->dccpap_ack_seqno)) {		// dccp_pr_debug_cat("yes\n");		return;	}	// dccp_pr_debug_cat("no\n");	i = len;	while (i--) {		const u8 rl = (*vector & DCCP_ACKPKTS_LEN_MASK);		u64 ackno_end_rl;		dccp_set_seqno(&ackno_end_rl, ackno - rl);		// dccp_pr_debug("is %llu <= %llu <= %llu? ", ackno_end_rl, ap->dccpap_ack_seqno, ackno);		if (between48(ap->dccpap_ack_seqno, ackno_end_rl, ackno)) {			const u8 state = (*vector & DCCP_ACKPKTS_STATE_MASK) >> 6;			// dccp_pr_debug_cat("yes\n");			if (state != DCCP_ACKPKTS_STATE_NOT_RECEIVED) {#ifdef DCCP_DEBUG				struct dccp_sock *dp = dccp_sk(sk);				const char *debug_prefix = dp->dccps_role == DCCP_ROLE_CLIENT ? "CLIENT rx ack: " :												"server rx ack: ";#endif				dccp_pr_debug("%sACK vector 0, len=%d, ack_seqno=%llu, ack_ackno=%llu, ACKED!\n",					      debug_prefix, len,					      ap->dccpap_ack_seqno, ap->dccpap_ack_ackno);				dccp_ackpkts_trow_away_ack_record(ap);			}			/*			 * If dccpap_ack_seqno was not received, no problem we'll			 * send another ACK vector.			 */			ap->dccpap_ack_seqno = DCCP_MAX_SEQNO + 1;			break;		}		// dccp_pr_debug_cat("no\n");		dccp_set_seqno(&ackno, ackno_end_rl - 1);		++vector;	}}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/f6ccf55419c4f0021e7382f000f2fd14a29f3d3c/options.c/buggy/net/dccp/options.c