[   77.180389][  T580] packetdrill (580) used greatest stack depth: 24664 bytes left