[   98.325905][  T719] packetdrill (719) used greatest stack depth: 24216 bytes left