[   82.594361][  T493] packetdrill (493) used greatest stack depth: 24256 bytes left