[   95.165809][  T719] packetdrill (719) used greatest stack depth: 22792 bytes left