[  128.398347][  T801] packetdrill (801) used greatest stack depth: 23608 bytes left