[  119.877584][  T801] packetdrill (801) used greatest stack depth: 25208 bytes left