if (((llc->vR - llc->first_pdu_Ns + 129) % 128) >= llc->npta) { 
if (((llc->vR - llc->first_pdu_Ns + 1 + LLC_2_SEQ_NBR_MODULO) % LLC_2_SEQ_NBR_MODULO) >= llc->npta) { 
int llc_conn_ac_send_ack_if_needed(struct sock *sk, struct sk_buff *skb){	u8 pf_bit;	struct llc_sock *llc = llc_sk(sk);	llc_pdu_decode_pf_bit(skb, &pf_bit);	llc->ack_pf |= pf_bit & 1;	if (!llc->ack_must_be_send) {		llc->first_pdu_Ns = llc->vR;		llc->ack_must_be_send = 1;		llc->ack_pf = pf_bit & 1;	}	if (((llc->vR - llc->first_pdu_Ns + 129) % 128) >= llc->npta) {		llc_conn_ac_send_rr_rsp_f_set_ackpf(sk, skb);		llc->ack_must_be_send	= 0;		llc->ack_pf		= 0;		llc_conn_ac_inc_npta_value(sk, skb);	}	return 0;}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/59c6196e59a4b85d9c994e70ff20a460cdbaa003/llc_c_ac.c/clean/net/llc/llc_c_ac.c