[   80.048816][  T611] packetdrill (611) used greatest stack depth: 24256 bytes left