[   80.677588][  T711] packetdrill (711) used greatest stack depth: 24120 bytes left