[   85.117298][  T711] packetdrill (711) used greatest stack depth: 24120 bytes left