[  112.214116][  T720] packetdrill (720) used greatest stack depth: 24256 bytes left