[   76.580943][  T711] packetdrill (711) used greatest stack depth: 24016 bytes left