[   61.549064][  T580] packetdrill (580) used greatest stack depth: 24136 bytes left