[   84.847677][  T714] packetdrill (714) used greatest stack depth: 24160 bytes left