[  158.241465][  T800] packetdrill (800) used greatest stack depth: 23752 bytes left