[   82.742363][  T493] packetdrill (493) used greatest stack depth: 24688 bytes left