[   84.903547][  T711] packetdrill (711) used greatest stack depth: 24160 bytes left