[   83.436662][  T493] packetdrill (493) used greatest stack depth: 23912 bytes left