[  145.731117][  T724] packetdrill (724) used greatest stack depth: 23288 bytes left