[  143.657555][  T793] packetdrill (793) used greatest stack depth: 23488 bytes left