[   71.694842][  T715] packetdrill (715) used greatest stack depth: 24304 bytes left