[   81.791654][  T711] packetdrill (711) used greatest stack depth: 23928 bytes left