[  126.423211][  T800] packetdrill (800) used greatest stack depth: 25024 bytes left