[   83.304484][  T493] packetdrill (493) used greatest stack depth: 23888 bytes left