[   95.539838][  T719] packetdrill (719) used greatest stack depth: 24280 bytes left