[   82.335814][  T493] packetdrill (493) used greatest stack depth: 23840 bytes left