[   83.625685][  T493] packetdrill (493) used greatest stack depth: 23872 bytes left