[  100.745564][  T719] packetdrill (719) used greatest stack depth: 24224 bytes left