added some debug printfs for IP packets