[  127.213920][  T801] packetdrill (801) used greatest stack depth: 23400 bytes left