[   95.966808][  T719] packetdrill (719) used greatest stack depth: 24208 bytes left