[   83.232960][  T493] packetdrill (493) used greatest stack depth: 23696 bytes left