[   88.883128][  T719] packetdrill (719) used greatest stack depth: 24272 bytes left