[   76.158675][  T457] packetdrill (457) used greatest stack depth: 24224 bytes left
[   83.114425][  T493] packetdrill (493) used greatest stack depth: 23696 bytes left