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