[  127.628335][  T800] packetdrill (800) used greatest stack depth: 23056 bytes left