[   83.715359][  T714] packetdrill (714) used greatest stack depth: 24120 bytes left