[  127.846809][  T801] packetdrill (801) used greatest stack depth: 23760 bytes left