3712 /* IP id update failures */