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