[  129.443195][  T801] packetdrill (801) used greatest stack depth: 23320 bytes left