[   88.330340][  T722] packetdrill (722) used greatest stack depth: 23832 bytes left