[   88.173309][  T688] packetdrill (688) used greatest stack depth: 23800 bytes left