[  128.989137][  T800] packetdrill (800) used greatest stack depth: 23936 bytes left