[  128.118417][  T800] packetdrill (800) used greatest stack depth: 23616 bytes left