[   84.882021][  T825] packetdrill (825) used greatest stack depth: 23720 bytes left