[  127.665179][  T793] packetdrill (793) used greatest stack depth: 23736 bytes left