Update WTPRetransmission.c