[  116.416291][  T793] packetdrill (793) used greatest stack depth: 24048 bytes left