[   85.417177][  T720] packetdrill (720) used greatest stack depth: 24160 bytes left