Processing an AckArrival event
Back to the lecture notes...