[   52.244642][  T580] packetdrill (580) used greatest stack depth: 24880 bytes left