[   72.469065][  T580] packetdrill (580) used greatest stack depth: 24512 bytes left