[   83.941295][  T493] packetdrill (493) used greatest stack depth: 23512 bytes left