[   94.527184][  T719] packetdrill (719) used greatest stack depth: 24320 bytes left