[   80.798241][  T506] packetdrill (506) used greatest stack depth: 23792 bytes left