[  114.921401][  T738] packetdrill (738) used greatest stack depth: 24128 bytes left