[  128.514087][  T801] packetdrill (801) used greatest stack depth: 23792 bytes left