[  157.562843][  T801] packetdrill (801) used greatest stack depth: 23768 bytes left