[   84.713287][  T711] packetdrill (711) used greatest stack depth: 23104 bytes left