[   68.240528][  T580] packetdrill (580) used greatest stack depth: 23848 bytes left