[  127.178269][  T800] packetdrill (800) used greatest stack depth: 24176 bytes left