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