[  128.001299][  T693] packetdrill (693) used greatest stack depth: 23648 bytes left