[   78.724328][  T719] packetdrill (719) used greatest stack depth: 24304 bytes left