[   86.309457][  T532] packetdrill (532) used greatest stack depth: 24208 bytes left