[   83.631596][  T493] packetdrill (493) used greatest stack depth: 24176 bytes left