[  115.908795][  T725] packetdrill (725) used greatest stack depth: 24192 bytes left