[  126.505487][  T801] packetdrill (801) used greatest stack depth: 23576 bytes left