From: Julian Seward <jseward@acm.org>
Date: Thu, 30 Oct 2008 11:11:40 +0000 (+0000)
Subject: Add a test case for #156404 (main thread stack not getting extended
X-Git-Tag: svn/VALGRIND_3_4_0~176
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=5aecd3826647f3db99f219008ba860bfa83392d2;p=thirdparty%2Fvalgrind.git

Add a test case for #156404 (main thread stack not getting extended
downwards properly at syscalls).


git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8718
---

diff --git a/none/tests/amd64/Makefile.am b/none/tests/amd64/Makefile.am
index 3ef4237ef8..ce72028d5d 100644
--- a/none/tests/amd64/Makefile.am
+++ b/none/tests/amd64/Makefile.am
@@ -21,6 +21,8 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
 	bug137714-amd64.vgtest bug137714-amd64.stdout.exp \
 	bug137714-amd64.stderr.exp \
 	bug132918.vgtest bug132918.stderr.exp bug132918.stdout.exp \
+	bug156404-amd64.vgtest bug156404-amd64.stdout.exp \
+	bug156404-amd64.stderr.exp \
 	clc.vgtest clc.stdout.exp clc.stderr.exp \
 	faultstatus.disabled faultstatus.stderr.exp \
 	fcmovnu.vgtest fcmovnu.stderr.exp fcmovnu.stdout.exp \
@@ -47,6 +49,7 @@ EXTRA_DIST = $(noinst_SCRIPTS) \
 
 check_PROGRAMS = \
 	bug127521-64 bug132813-amd64 bug137714-amd64 bug132918 \
+	bug156404-amd64 \
 	clc \
 	faultstatus fcmovnu fxtract $(INSN_TESTS) looper jrcxz \
 	rcl-amd64 \
diff --git a/none/tests/amd64/bug156404-amd64.c b/none/tests/amd64/bug156404-amd64.c
new file mode 100644
index 0000000000..d0c4ea039c
--- /dev/null
+++ b/none/tests/amd64/bug156404-amd64.c
@@ -0,0 +1,56 @@
+
+/* Check that the main thread's stack, on Linux, is automatically
+   extended down to the lowest valid address when a syscall happens.
+   Failure to do so was causing this test to fail on Linux amd64. */
+
+#include <unistd.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <assert.h>
+
+#include <sys/syscall.h>
+#include <unistd.h>
+
+#define VG_STRINGIFZ(__str)  #__str
+#define VG_STRINGIFY(__str)  VG_STRINGIFZ(__str)
+
+#define __NR_READLINK        VG_STRINGIFY(__NR_readlink)
+
+extern long my_readlink ( const char* path );
+asm(
+".text\n"
+".globl my_readlink\n"
+"my_readlink:\n"
+"\tsubq    $0x1008,%rsp\n"
+"\tmovq    %rdi,%rdi\n"              // path is in rdi
+"\tmovq    %rsp,%rsi\n"              // &buf[0] -> rsi
+"\tmovl    $0x1000,%edx\n"           // sizeof(buf) in rdx
+"\tmovl    $"__NR_READLINK",%eax\n"  // syscall number
+"\tsyscall\n"
+"\taddq    $0x1008,%rsp\n"
+"\tret\n"
+".previous\n"
+);
+
+long recurse ( const char* path, long count )
+{
+   if (count <= 0) {
+      return my_readlink(path);
+   } else { 
+      long r = recurse(path, count-1);
+      return r;
+   }
+}
+
+int main ( void )
+{
+   long i, r;
+   for (i = 0; i < 2000; i++) {
+      printf("depth %ld: ", i );
+      r = recurse( "/proc/self", i );
+      if (r > 1) r = 1; /* to make the output repeatable */
+      assert(r >= 1);
+      printf("r = %ld\n", r);
+   }
+   return 0;
+}
diff --git a/none/tests/amd64/bug156404-amd64.stderr.exp b/none/tests/amd64/bug156404-amd64.stderr.exp
new file mode 100644
index 0000000000..139597f9cb
--- /dev/null
+++ b/none/tests/amd64/bug156404-amd64.stderr.exp
@@ -0,0 +1,2 @@
+
+
diff --git a/none/tests/amd64/bug156404-amd64.stdout.exp b/none/tests/amd64/bug156404-amd64.stdout.exp
new file mode 100644
index 0000000000..47a8c8a3ba
--- /dev/null
+++ b/none/tests/amd64/bug156404-amd64.stdout.exp
@@ -0,0 +1,2000 @@
+depth 0: r = 1
+depth 1: r = 1
+depth 2: r = 1
+depth 3: r = 1
+depth 4: r = 1
+depth 5: r = 1
+depth 6: r = 1
+depth 7: r = 1
+depth 8: r = 1
+depth 9: r = 1
+depth 10: r = 1
+depth 11: r = 1
+depth 12: r = 1
+depth 13: r = 1
+depth 14: r = 1
+depth 15: r = 1
+depth 16: r = 1
+depth 17: r = 1
+depth 18: r = 1
+depth 19: r = 1
+depth 20: r = 1
+depth 21: r = 1
+depth 22: r = 1
+depth 23: r = 1
+depth 24: r = 1
+depth 25: r = 1
+depth 26: r = 1
+depth 27: r = 1
+depth 28: r = 1
+depth 29: r = 1
+depth 30: r = 1
+depth 31: r = 1
+depth 32: r = 1
+depth 33: r = 1
+depth 34: r = 1
+depth 35: r = 1
+depth 36: r = 1
+depth 37: r = 1
+depth 38: r = 1
+depth 39: r = 1
+depth 40: r = 1
+depth 41: r = 1
+depth 42: r = 1
+depth 43: r = 1
+depth 44: r = 1
+depth 45: r = 1
+depth 46: r = 1
+depth 47: r = 1
+depth 48: r = 1
+depth 49: r = 1
+depth 50: r = 1
+depth 51: r = 1
+depth 52: r = 1
+depth 53: r = 1
+depth 54: r = 1
+depth 55: r = 1
+depth 56: r = 1
+depth 57: r = 1
+depth 58: r = 1
+depth 59: r = 1
+depth 60: r = 1
+depth 61: r = 1
+depth 62: r = 1
+depth 63: r = 1
+depth 64: r = 1
+depth 65: r = 1
+depth 66: r = 1
+depth 67: r = 1
+depth 68: r = 1
+depth 69: r = 1
+depth 70: r = 1
+depth 71: r = 1
+depth 72: r = 1
+depth 73: r = 1
+depth 74: r = 1
+depth 75: r = 1
+depth 76: r = 1
+depth 77: r = 1
+depth 78: r = 1
+depth 79: r = 1
+depth 80: r = 1
+depth 81: r = 1
+depth 82: r = 1
+depth 83: r = 1
+depth 84: r = 1
+depth 85: r = 1
+depth 86: r = 1
+depth 87: r = 1
+depth 88: r = 1
+depth 89: r = 1
+depth 90: r = 1
+depth 91: r = 1
+depth 92: r = 1
+depth 93: r = 1
+depth 94: r = 1
+depth 95: r = 1
+depth 96: r = 1
+depth 97: r = 1
+depth 98: r = 1
+depth 99: r = 1
+depth 100: r = 1
+depth 101: r = 1
+depth 102: r = 1
+depth 103: r = 1
+depth 104: r = 1
+depth 105: r = 1
+depth 106: r = 1
+depth 107: r = 1
+depth 108: r = 1
+depth 109: r = 1
+depth 110: r = 1
+depth 111: r = 1
+depth 112: r = 1
+depth 113: r = 1
+depth 114: r = 1
+depth 115: r = 1
+depth 116: r = 1
+depth 117: r = 1
+depth 118: r = 1
+depth 119: r = 1
+depth 120: r = 1
+depth 121: r = 1
+depth 122: r = 1
+depth 123: r = 1
+depth 124: r = 1
+depth 125: r = 1
+depth 126: r = 1
+depth 127: r = 1
+depth 128: r = 1
+depth 129: r = 1
+depth 130: r = 1
+depth 131: r = 1
+depth 132: r = 1
+depth 133: r = 1
+depth 134: r = 1
+depth 135: r = 1
+depth 136: r = 1
+depth 137: r = 1
+depth 138: r = 1
+depth 139: r = 1
+depth 140: r = 1
+depth 141: r = 1
+depth 142: r = 1
+depth 143: r = 1
+depth 144: r = 1
+depth 145: r = 1
+depth 146: r = 1
+depth 147: r = 1
+depth 148: r = 1
+depth 149: r = 1
+depth 150: r = 1
+depth 151: r = 1
+depth 152: r = 1
+depth 153: r = 1
+depth 154: r = 1
+depth 155: r = 1
+depth 156: r = 1
+depth 157: r = 1
+depth 158: r = 1
+depth 159: r = 1
+depth 160: r = 1
+depth 161: r = 1
+depth 162: r = 1
+depth 163: r = 1
+depth 164: r = 1
+depth 165: r = 1
+depth 166: r = 1
+depth 167: r = 1
+depth 168: r = 1
+depth 169: r = 1
+depth 170: r = 1
+depth 171: r = 1
+depth 172: r = 1
+depth 173: r = 1
+depth 174: r = 1
+depth 175: r = 1
+depth 176: r = 1
+depth 177: r = 1
+depth 178: r = 1
+depth 179: r = 1
+depth 180: r = 1
+depth 181: r = 1
+depth 182: r = 1
+depth 183: r = 1
+depth 184: r = 1
+depth 185: r = 1
+depth 186: r = 1
+depth 187: r = 1
+depth 188: r = 1
+depth 189: r = 1
+depth 190: r = 1
+depth 191: r = 1
+depth 192: r = 1
+depth 193: r = 1
+depth 194: r = 1
+depth 195: r = 1
+depth 196: r = 1
+depth 197: r = 1
+depth 198: r = 1
+depth 199: r = 1
+depth 200: r = 1
+depth 201: r = 1
+depth 202: r = 1
+depth 203: r = 1
+depth 204: r = 1
+depth 205: r = 1
+depth 206: r = 1
+depth 207: r = 1
+depth 208: r = 1
+depth 209: r = 1
+depth 210: r = 1
+depth 211: r = 1
+depth 212: r = 1
+depth 213: r = 1
+depth 214: r = 1
+depth 215: r = 1
+depth 216: r = 1
+depth 217: r = 1
+depth 218: r = 1
+depth 219: r = 1
+depth 220: r = 1
+depth 221: r = 1
+depth 222: r = 1
+depth 223: r = 1
+depth 224: r = 1
+depth 225: r = 1
+depth 226: r = 1
+depth 227: r = 1
+depth 228: r = 1
+depth 229: r = 1
+depth 230: r = 1
+depth 231: r = 1
+depth 232: r = 1
+depth 233: r = 1
+depth 234: r = 1
+depth 235: r = 1
+depth 236: r = 1
+depth 237: r = 1
+depth 238: r = 1
+depth 239: r = 1
+depth 240: r = 1
+depth 241: r = 1
+depth 242: r = 1
+depth 243: r = 1
+depth 244: r = 1
+depth 245: r = 1
+depth 246: r = 1
+depth 247: r = 1
+depth 248: r = 1
+depth 249: r = 1
+depth 250: r = 1
+depth 251: r = 1
+depth 252: r = 1
+depth 253: r = 1
+depth 254: r = 1
+depth 255: r = 1
+depth 256: r = 1
+depth 257: r = 1
+depth 258: r = 1
+depth 259: r = 1
+depth 260: r = 1
+depth 261: r = 1
+depth 262: r = 1
+depth 263: r = 1
+depth 264: r = 1
+depth 265: r = 1
+depth 266: r = 1
+depth 267: r = 1
+depth 268: r = 1
+depth 269: r = 1
+depth 270: r = 1
+depth 271: r = 1
+depth 272: r = 1
+depth 273: r = 1
+depth 274: r = 1
+depth 275: r = 1
+depth 276: r = 1
+depth 277: r = 1
+depth 278: r = 1
+depth 279: r = 1
+depth 280: r = 1
+depth 281: r = 1
+depth 282: r = 1
+depth 283: r = 1
+depth 284: r = 1
+depth 285: r = 1
+depth 286: r = 1
+depth 287: r = 1
+depth 288: r = 1
+depth 289: r = 1
+depth 290: r = 1
+depth 291: r = 1
+depth 292: r = 1
+depth 293: r = 1
+depth 294: r = 1
+depth 295: r = 1
+depth 296: r = 1
+depth 297: r = 1
+depth 298: r = 1
+depth 299: r = 1
+depth 300: r = 1
+depth 301: r = 1
+depth 302: r = 1
+depth 303: r = 1
+depth 304: r = 1
+depth 305: r = 1
+depth 306: r = 1
+depth 307: r = 1
+depth 308: r = 1
+depth 309: r = 1
+depth 310: r = 1
+depth 311: r = 1
+depth 312: r = 1
+depth 313: r = 1
+depth 314: r = 1
+depth 315: r = 1
+depth 316: r = 1
+depth 317: r = 1
+depth 318: r = 1
+depth 319: r = 1
+depth 320: r = 1
+depth 321: r = 1
+depth 322: r = 1
+depth 323: r = 1
+depth 324: r = 1
+depth 325: r = 1
+depth 326: r = 1
+depth 327: r = 1
+depth 328: r = 1
+depth 329: r = 1
+depth 330: r = 1
+depth 331: r = 1
+depth 332: r = 1
+depth 333: r = 1
+depth 334: r = 1
+depth 335: r = 1
+depth 336: r = 1
+depth 337: r = 1
+depth 338: r = 1
+depth 339: r = 1
+depth 340: r = 1
+depth 341: r = 1
+depth 342: r = 1
+depth 343: r = 1
+depth 344: r = 1
+depth 345: r = 1
+depth 346: r = 1
+depth 347: r = 1
+depth 348: r = 1
+depth 349: r = 1
+depth 350: r = 1
+depth 351: r = 1
+depth 352: r = 1
+depth 353: r = 1
+depth 354: r = 1
+depth 355: r = 1
+depth 356: r = 1
+depth 357: r = 1
+depth 358: r = 1
+depth 359: r = 1
+depth 360: r = 1
+depth 361: r = 1
+depth 362: r = 1
+depth 363: r = 1
+depth 364: r = 1
+depth 365: r = 1
+depth 366: r = 1
+depth 367: r = 1
+depth 368: r = 1
+depth 369: r = 1
+depth 370: r = 1
+depth 371: r = 1
+depth 372: r = 1
+depth 373: r = 1
+depth 374: r = 1
+depth 375: r = 1
+depth 376: r = 1
+depth 377: r = 1
+depth 378: r = 1
+depth 379: r = 1
+depth 380: r = 1
+depth 381: r = 1
+depth 382: r = 1
+depth 383: r = 1
+depth 384: r = 1
+depth 385: r = 1
+depth 386: r = 1
+depth 387: r = 1
+depth 388: r = 1
+depth 389: r = 1
+depth 390: r = 1
+depth 391: r = 1
+depth 392: r = 1
+depth 393: r = 1
+depth 394: r = 1
+depth 395: r = 1
+depth 396: r = 1
+depth 397: r = 1
+depth 398: r = 1
+depth 399: r = 1
+depth 400: r = 1
+depth 401: r = 1
+depth 402: r = 1
+depth 403: r = 1
+depth 404: r = 1
+depth 405: r = 1
+depth 406: r = 1
+depth 407: r = 1
+depth 408: r = 1
+depth 409: r = 1
+depth 410: r = 1
+depth 411: r = 1
+depth 412: r = 1
+depth 413: r = 1
+depth 414: r = 1
+depth 415: r = 1
+depth 416: r = 1
+depth 417: r = 1
+depth 418: r = 1
+depth 419: r = 1
+depth 420: r = 1
+depth 421: r = 1
+depth 422: r = 1
+depth 423: r = 1
+depth 424: r = 1
+depth 425: r = 1
+depth 426: r = 1
+depth 427: r = 1
+depth 428: r = 1
+depth 429: r = 1
+depth 430: r = 1
+depth 431: r = 1
+depth 432: r = 1
+depth 433: r = 1
+depth 434: r = 1
+depth 435: r = 1
+depth 436: r = 1
+depth 437: r = 1
+depth 438: r = 1
+depth 439: r = 1
+depth 440: r = 1
+depth 441: r = 1
+depth 442: r = 1
+depth 443: r = 1
+depth 444: r = 1
+depth 445: r = 1
+depth 446: r = 1
+depth 447: r = 1
+depth 448: r = 1
+depth 449: r = 1
+depth 450: r = 1
+depth 451: r = 1
+depth 452: r = 1
+depth 453: r = 1
+depth 454: r = 1
+depth 455: r = 1
+depth 456: r = 1
+depth 457: r = 1
+depth 458: r = 1
+depth 459: r = 1
+depth 460: r = 1
+depth 461: r = 1
+depth 462: r = 1
+depth 463: r = 1
+depth 464: r = 1
+depth 465: r = 1
+depth 466: r = 1
+depth 467: r = 1
+depth 468: r = 1
+depth 469: r = 1
+depth 470: r = 1
+depth 471: r = 1
+depth 472: r = 1
+depth 473: r = 1
+depth 474: r = 1
+depth 475: r = 1
+depth 476: r = 1
+depth 477: r = 1
+depth 478: r = 1
+depth 479: r = 1
+depth 480: r = 1
+depth 481: r = 1
+depth 482: r = 1
+depth 483: r = 1
+depth 484: r = 1
+depth 485: r = 1
+depth 486: r = 1
+depth 487: r = 1
+depth 488: r = 1
+depth 489: r = 1
+depth 490: r = 1
+depth 491: r = 1
+depth 492: r = 1
+depth 493: r = 1
+depth 494: r = 1
+depth 495: r = 1
+depth 496: r = 1
+depth 497: r = 1
+depth 498: r = 1
+depth 499: r = 1
+depth 500: r = 1
+depth 501: r = 1
+depth 502: r = 1
+depth 503: r = 1
+depth 504: r = 1
+depth 505: r = 1
+depth 506: r = 1
+depth 507: r = 1
+depth 508: r = 1
+depth 509: r = 1
+depth 510: r = 1
+depth 511: r = 1
+depth 512: r = 1
+depth 513: r = 1
+depth 514: r = 1
+depth 515: r = 1
+depth 516: r = 1
+depth 517: r = 1
+depth 518: r = 1
+depth 519: r = 1
+depth 520: r = 1
+depth 521: r = 1
+depth 522: r = 1
+depth 523: r = 1
+depth 524: r = 1
+depth 525: r = 1
+depth 526: r = 1
+depth 527: r = 1
+depth 528: r = 1
+depth 529: r = 1
+depth 530: r = 1
+depth 531: r = 1
+depth 532: r = 1
+depth 533: r = 1
+depth 534: r = 1
+depth 535: r = 1
+depth 536: r = 1
+depth 537: r = 1
+depth 538: r = 1
+depth 539: r = 1
+depth 540: r = 1
+depth 541: r = 1
+depth 542: r = 1
+depth 543: r = 1
+depth 544: r = 1
+depth 545: r = 1
+depth 546: r = 1
+depth 547: r = 1
+depth 548: r = 1
+depth 549: r = 1
+depth 550: r = 1
+depth 551: r = 1
+depth 552: r = 1
+depth 553: r = 1
+depth 554: r = 1
+depth 555: r = 1
+depth 556: r = 1
+depth 557: r = 1
+depth 558: r = 1
+depth 559: r = 1
+depth 560: r = 1
+depth 561: r = 1
+depth 562: r = 1
+depth 563: r = 1
+depth 564: r = 1
+depth 565: r = 1
+depth 566: r = 1
+depth 567: r = 1
+depth 568: r = 1
+depth 569: r = 1
+depth 570: r = 1
+depth 571: r = 1
+depth 572: r = 1
+depth 573: r = 1
+depth 574: r = 1
+depth 575: r = 1
+depth 576: r = 1
+depth 577: r = 1
+depth 578: r = 1
+depth 579: r = 1
+depth 580: r = 1
+depth 581: r = 1
+depth 582: r = 1
+depth 583: r = 1
+depth 584: r = 1
+depth 585: r = 1
+depth 586: r = 1
+depth 587: r = 1
+depth 588: r = 1
+depth 589: r = 1
+depth 590: r = 1
+depth 591: r = 1
+depth 592: r = 1
+depth 593: r = 1
+depth 594: r = 1
+depth 595: r = 1
+depth 596: r = 1
+depth 597: r = 1
+depth 598: r = 1
+depth 599: r = 1
+depth 600: r = 1
+depth 601: r = 1
+depth 602: r = 1
+depth 603: r = 1
+depth 604: r = 1
+depth 605: r = 1
+depth 606: r = 1
+depth 607: r = 1
+depth 608: r = 1
+depth 609: r = 1
+depth 610: r = 1
+depth 611: r = 1
+depth 612: r = 1
+depth 613: r = 1
+depth 614: r = 1
+depth 615: r = 1
+depth 616: r = 1
+depth 617: r = 1
+depth 618: r = 1
+depth 619: r = 1
+depth 620: r = 1
+depth 621: r = 1
+depth 622: r = 1
+depth 623: r = 1
+depth 624: r = 1
+depth 625: r = 1
+depth 626: r = 1
+depth 627: r = 1
+depth 628: r = 1
+depth 629: r = 1
+depth 630: r = 1
+depth 631: r = 1
+depth 632: r = 1
+depth 633: r = 1
+depth 634: r = 1
+depth 635: r = 1
+depth 636: r = 1
+depth 637: r = 1
+depth 638: r = 1
+depth 639: r = 1
+depth 640: r = 1
+depth 641: r = 1
+depth 642: r = 1
+depth 643: r = 1
+depth 644: r = 1
+depth 645: r = 1
+depth 646: r = 1
+depth 647: r = 1
+depth 648: r = 1
+depth 649: r = 1
+depth 650: r = 1
+depth 651: r = 1
+depth 652: r = 1
+depth 653: r = 1
+depth 654: r = 1
+depth 655: r = 1
+depth 656: r = 1
+depth 657: r = 1
+depth 658: r = 1
+depth 659: r = 1
+depth 660: r = 1
+depth 661: r = 1
+depth 662: r = 1
+depth 663: r = 1
+depth 664: r = 1
+depth 665: r = 1
+depth 666: r = 1
+depth 667: r = 1
+depth 668: r = 1
+depth 669: r = 1
+depth 670: r = 1
+depth 671: r = 1
+depth 672: r = 1
+depth 673: r = 1
+depth 674: r = 1
+depth 675: r = 1
+depth 676: r = 1
+depth 677: r = 1
+depth 678: r = 1
+depth 679: r = 1
+depth 680: r = 1
+depth 681: r = 1
+depth 682: r = 1
+depth 683: r = 1
+depth 684: r = 1
+depth 685: r = 1
+depth 686: r = 1
+depth 687: r = 1
+depth 688: r = 1
+depth 689: r = 1
+depth 690: r = 1
+depth 691: r = 1
+depth 692: r = 1
+depth 693: r = 1
+depth 694: r = 1
+depth 695: r = 1
+depth 696: r = 1
+depth 697: r = 1
+depth 698: r = 1
+depth 699: r = 1
+depth 700: r = 1
+depth 701: r = 1
+depth 702: r = 1
+depth 703: r = 1
+depth 704: r = 1
+depth 705: r = 1
+depth 706: r = 1
+depth 707: r = 1
+depth 708: r = 1
+depth 709: r = 1
+depth 710: r = 1
+depth 711: r = 1
+depth 712: r = 1
+depth 713: r = 1
+depth 714: r = 1
+depth 715: r = 1
+depth 716: r = 1
+depth 717: r = 1
+depth 718: r = 1
+depth 719: r = 1
+depth 720: r = 1
+depth 721: r = 1
+depth 722: r = 1
+depth 723: r = 1
+depth 724: r = 1
+depth 725: r = 1
+depth 726: r = 1
+depth 727: r = 1
+depth 728: r = 1
+depth 729: r = 1
+depth 730: r = 1
+depth 731: r = 1
+depth 732: r = 1
+depth 733: r = 1
+depth 734: r = 1
+depth 735: r = 1
+depth 736: r = 1
+depth 737: r = 1
+depth 738: r = 1
+depth 739: r = 1
+depth 740: r = 1
+depth 741: r = 1
+depth 742: r = 1
+depth 743: r = 1
+depth 744: r = 1
+depth 745: r = 1
+depth 746: r = 1
+depth 747: r = 1
+depth 748: r = 1
+depth 749: r = 1
+depth 750: r = 1
+depth 751: r = 1
+depth 752: r = 1
+depth 753: r = 1
+depth 754: r = 1
+depth 755: r = 1
+depth 756: r = 1
+depth 757: r = 1
+depth 758: r = 1
+depth 759: r = 1
+depth 760: r = 1
+depth 761: r = 1
+depth 762: r = 1
+depth 763: r = 1
+depth 764: r = 1
+depth 765: r = 1
+depth 766: r = 1
+depth 767: r = 1
+depth 768: r = 1
+depth 769: r = 1
+depth 770: r = 1
+depth 771: r = 1
+depth 772: r = 1
+depth 773: r = 1
+depth 774: r = 1
+depth 775: r = 1
+depth 776: r = 1
+depth 777: r = 1
+depth 778: r = 1
+depth 779: r = 1
+depth 780: r = 1
+depth 781: r = 1
+depth 782: r = 1
+depth 783: r = 1
+depth 784: r = 1
+depth 785: r = 1
+depth 786: r = 1
+depth 787: r = 1
+depth 788: r = 1
+depth 789: r = 1
+depth 790: r = 1
+depth 791: r = 1
+depth 792: r = 1
+depth 793: r = 1
+depth 794: r = 1
+depth 795: r = 1
+depth 796: r = 1
+depth 797: r = 1
+depth 798: r = 1
+depth 799: r = 1
+depth 800: r = 1
+depth 801: r = 1
+depth 802: r = 1
+depth 803: r = 1
+depth 804: r = 1
+depth 805: r = 1
+depth 806: r = 1
+depth 807: r = 1
+depth 808: r = 1
+depth 809: r = 1
+depth 810: r = 1
+depth 811: r = 1
+depth 812: r = 1
+depth 813: r = 1
+depth 814: r = 1
+depth 815: r = 1
+depth 816: r = 1
+depth 817: r = 1
+depth 818: r = 1
+depth 819: r = 1
+depth 820: r = 1
+depth 821: r = 1
+depth 822: r = 1
+depth 823: r = 1
+depth 824: r = 1
+depth 825: r = 1
+depth 826: r = 1
+depth 827: r = 1
+depth 828: r = 1
+depth 829: r = 1
+depth 830: r = 1
+depth 831: r = 1
+depth 832: r = 1
+depth 833: r = 1
+depth 834: r = 1
+depth 835: r = 1
+depth 836: r = 1
+depth 837: r = 1
+depth 838: r = 1
+depth 839: r = 1
+depth 840: r = 1
+depth 841: r = 1
+depth 842: r = 1
+depth 843: r = 1
+depth 844: r = 1
+depth 845: r = 1
+depth 846: r = 1
+depth 847: r = 1
+depth 848: r = 1
+depth 849: r = 1
+depth 850: r = 1
+depth 851: r = 1
+depth 852: r = 1
+depth 853: r = 1
+depth 854: r = 1
+depth 855: r = 1
+depth 856: r = 1
+depth 857: r = 1
+depth 858: r = 1
+depth 859: r = 1
+depth 860: r = 1
+depth 861: r = 1
+depth 862: r = 1
+depth 863: r = 1
+depth 864: r = 1
+depth 865: r = 1
+depth 866: r = 1
+depth 867: r = 1
+depth 868: r = 1
+depth 869: r = 1
+depth 870: r = 1
+depth 871: r = 1
+depth 872: r = 1
+depth 873: r = 1
+depth 874: r = 1
+depth 875: r = 1
+depth 876: r = 1
+depth 877: r = 1
+depth 878: r = 1
+depth 879: r = 1
+depth 880: r = 1
+depth 881: r = 1
+depth 882: r = 1
+depth 883: r = 1
+depth 884: r = 1
+depth 885: r = 1
+depth 886: r = 1
+depth 887: r = 1
+depth 888: r = 1
+depth 889: r = 1
+depth 890: r = 1
+depth 891: r = 1
+depth 892: r = 1
+depth 893: r = 1
+depth 894: r = 1
+depth 895: r = 1
+depth 896: r = 1
+depth 897: r = 1
+depth 898: r = 1
+depth 899: r = 1
+depth 900: r = 1
+depth 901: r = 1
+depth 902: r = 1
+depth 903: r = 1
+depth 904: r = 1
+depth 905: r = 1
+depth 906: r = 1
+depth 907: r = 1
+depth 908: r = 1
+depth 909: r = 1
+depth 910: r = 1
+depth 911: r = 1
+depth 912: r = 1
+depth 913: r = 1
+depth 914: r = 1
+depth 915: r = 1
+depth 916: r = 1
+depth 917: r = 1
+depth 918: r = 1
+depth 919: r = 1
+depth 920: r = 1
+depth 921: r = 1
+depth 922: r = 1
+depth 923: r = 1
+depth 924: r = 1
+depth 925: r = 1
+depth 926: r = 1
+depth 927: r = 1
+depth 928: r = 1
+depth 929: r = 1
+depth 930: r = 1
+depth 931: r = 1
+depth 932: r = 1
+depth 933: r = 1
+depth 934: r = 1
+depth 935: r = 1
+depth 936: r = 1
+depth 937: r = 1
+depth 938: r = 1
+depth 939: r = 1
+depth 940: r = 1
+depth 941: r = 1
+depth 942: r = 1
+depth 943: r = 1
+depth 944: r = 1
+depth 945: r = 1
+depth 946: r = 1
+depth 947: r = 1
+depth 948: r = 1
+depth 949: r = 1
+depth 950: r = 1
+depth 951: r = 1
+depth 952: r = 1
+depth 953: r = 1
+depth 954: r = 1
+depth 955: r = 1
+depth 956: r = 1
+depth 957: r = 1
+depth 958: r = 1
+depth 959: r = 1
+depth 960: r = 1
+depth 961: r = 1
+depth 962: r = 1
+depth 963: r = 1
+depth 964: r = 1
+depth 965: r = 1
+depth 966: r = 1
+depth 967: r = 1
+depth 968: r = 1
+depth 969: r = 1
+depth 970: r = 1
+depth 971: r = 1
+depth 972: r = 1
+depth 973: r = 1
+depth 974: r = 1
+depth 975: r = 1
+depth 976: r = 1
+depth 977: r = 1
+depth 978: r = 1
+depth 979: r = 1
+depth 980: r = 1
+depth 981: r = 1
+depth 982: r = 1
+depth 983: r = 1
+depth 984: r = 1
+depth 985: r = 1
+depth 986: r = 1
+depth 987: r = 1
+depth 988: r = 1
+depth 989: r = 1
+depth 990: r = 1
+depth 991: r = 1
+depth 992: r = 1
+depth 993: r = 1
+depth 994: r = 1
+depth 995: r = 1
+depth 996: r = 1
+depth 997: r = 1
+depth 998: r = 1
+depth 999: r = 1
+depth 1000: r = 1
+depth 1001: r = 1
+depth 1002: r = 1
+depth 1003: r = 1
+depth 1004: r = 1
+depth 1005: r = 1
+depth 1006: r = 1
+depth 1007: r = 1
+depth 1008: r = 1
+depth 1009: r = 1
+depth 1010: r = 1
+depth 1011: r = 1
+depth 1012: r = 1
+depth 1013: r = 1
+depth 1014: r = 1
+depth 1015: r = 1
+depth 1016: r = 1
+depth 1017: r = 1
+depth 1018: r = 1
+depth 1019: r = 1
+depth 1020: r = 1
+depth 1021: r = 1
+depth 1022: r = 1
+depth 1023: r = 1
+depth 1024: r = 1
+depth 1025: r = 1
+depth 1026: r = 1
+depth 1027: r = 1
+depth 1028: r = 1
+depth 1029: r = 1
+depth 1030: r = 1
+depth 1031: r = 1
+depth 1032: r = 1
+depth 1033: r = 1
+depth 1034: r = 1
+depth 1035: r = 1
+depth 1036: r = 1
+depth 1037: r = 1
+depth 1038: r = 1
+depth 1039: r = 1
+depth 1040: r = 1
+depth 1041: r = 1
+depth 1042: r = 1
+depth 1043: r = 1
+depth 1044: r = 1
+depth 1045: r = 1
+depth 1046: r = 1
+depth 1047: r = 1
+depth 1048: r = 1
+depth 1049: r = 1
+depth 1050: r = 1
+depth 1051: r = 1
+depth 1052: r = 1
+depth 1053: r = 1
+depth 1054: r = 1
+depth 1055: r = 1
+depth 1056: r = 1
+depth 1057: r = 1
+depth 1058: r = 1
+depth 1059: r = 1
+depth 1060: r = 1
+depth 1061: r = 1
+depth 1062: r = 1
+depth 1063: r = 1
+depth 1064: r = 1
+depth 1065: r = 1
+depth 1066: r = 1
+depth 1067: r = 1
+depth 1068: r = 1
+depth 1069: r = 1
+depth 1070: r = 1
+depth 1071: r = 1
+depth 1072: r = 1
+depth 1073: r = 1
+depth 1074: r = 1
+depth 1075: r = 1
+depth 1076: r = 1
+depth 1077: r = 1
+depth 1078: r = 1
+depth 1079: r = 1
+depth 1080: r = 1
+depth 1081: r = 1
+depth 1082: r = 1
+depth 1083: r = 1
+depth 1084: r = 1
+depth 1085: r = 1
+depth 1086: r = 1
+depth 1087: r = 1
+depth 1088: r = 1
+depth 1089: r = 1
+depth 1090: r = 1
+depth 1091: r = 1
+depth 1092: r = 1
+depth 1093: r = 1
+depth 1094: r = 1
+depth 1095: r = 1
+depth 1096: r = 1
+depth 1097: r = 1
+depth 1098: r = 1
+depth 1099: r = 1
+depth 1100: r = 1
+depth 1101: r = 1
+depth 1102: r = 1
+depth 1103: r = 1
+depth 1104: r = 1
+depth 1105: r = 1
+depth 1106: r = 1
+depth 1107: r = 1
+depth 1108: r = 1
+depth 1109: r = 1
+depth 1110: r = 1
+depth 1111: r = 1
+depth 1112: r = 1
+depth 1113: r = 1
+depth 1114: r = 1
+depth 1115: r = 1
+depth 1116: r = 1
+depth 1117: r = 1
+depth 1118: r = 1
+depth 1119: r = 1
+depth 1120: r = 1
+depth 1121: r = 1
+depth 1122: r = 1
+depth 1123: r = 1
+depth 1124: r = 1
+depth 1125: r = 1
+depth 1126: r = 1
+depth 1127: r = 1
+depth 1128: r = 1
+depth 1129: r = 1
+depth 1130: r = 1
+depth 1131: r = 1
+depth 1132: r = 1
+depth 1133: r = 1
+depth 1134: r = 1
+depth 1135: r = 1
+depth 1136: r = 1
+depth 1137: r = 1
+depth 1138: r = 1
+depth 1139: r = 1
+depth 1140: r = 1
+depth 1141: r = 1
+depth 1142: r = 1
+depth 1143: r = 1
+depth 1144: r = 1
+depth 1145: r = 1
+depth 1146: r = 1
+depth 1147: r = 1
+depth 1148: r = 1
+depth 1149: r = 1
+depth 1150: r = 1
+depth 1151: r = 1
+depth 1152: r = 1
+depth 1153: r = 1
+depth 1154: r = 1
+depth 1155: r = 1
+depth 1156: r = 1
+depth 1157: r = 1
+depth 1158: r = 1
+depth 1159: r = 1
+depth 1160: r = 1
+depth 1161: r = 1
+depth 1162: r = 1
+depth 1163: r = 1
+depth 1164: r = 1
+depth 1165: r = 1
+depth 1166: r = 1
+depth 1167: r = 1
+depth 1168: r = 1
+depth 1169: r = 1
+depth 1170: r = 1
+depth 1171: r = 1
+depth 1172: r = 1
+depth 1173: r = 1
+depth 1174: r = 1
+depth 1175: r = 1
+depth 1176: r = 1
+depth 1177: r = 1
+depth 1178: r = 1
+depth 1179: r = 1
+depth 1180: r = 1
+depth 1181: r = 1
+depth 1182: r = 1
+depth 1183: r = 1
+depth 1184: r = 1
+depth 1185: r = 1
+depth 1186: r = 1
+depth 1187: r = 1
+depth 1188: r = 1
+depth 1189: r = 1
+depth 1190: r = 1
+depth 1191: r = 1
+depth 1192: r = 1
+depth 1193: r = 1
+depth 1194: r = 1
+depth 1195: r = 1
+depth 1196: r = 1
+depth 1197: r = 1
+depth 1198: r = 1
+depth 1199: r = 1
+depth 1200: r = 1
+depth 1201: r = 1
+depth 1202: r = 1
+depth 1203: r = 1
+depth 1204: r = 1
+depth 1205: r = 1
+depth 1206: r = 1
+depth 1207: r = 1
+depth 1208: r = 1
+depth 1209: r = 1
+depth 1210: r = 1
+depth 1211: r = 1
+depth 1212: r = 1
+depth 1213: r = 1
+depth 1214: r = 1
+depth 1215: r = 1
+depth 1216: r = 1
+depth 1217: r = 1
+depth 1218: r = 1
+depth 1219: r = 1
+depth 1220: r = 1
+depth 1221: r = 1
+depth 1222: r = 1
+depth 1223: r = 1
+depth 1224: r = 1
+depth 1225: r = 1
+depth 1226: r = 1
+depth 1227: r = 1
+depth 1228: r = 1
+depth 1229: r = 1
+depth 1230: r = 1
+depth 1231: r = 1
+depth 1232: r = 1
+depth 1233: r = 1
+depth 1234: r = 1
+depth 1235: r = 1
+depth 1236: r = 1
+depth 1237: r = 1
+depth 1238: r = 1
+depth 1239: r = 1
+depth 1240: r = 1
+depth 1241: r = 1
+depth 1242: r = 1
+depth 1243: r = 1
+depth 1244: r = 1
+depth 1245: r = 1
+depth 1246: r = 1
+depth 1247: r = 1
+depth 1248: r = 1
+depth 1249: r = 1
+depth 1250: r = 1
+depth 1251: r = 1
+depth 1252: r = 1
+depth 1253: r = 1
+depth 1254: r = 1
+depth 1255: r = 1
+depth 1256: r = 1
+depth 1257: r = 1
+depth 1258: r = 1
+depth 1259: r = 1
+depth 1260: r = 1
+depth 1261: r = 1
+depth 1262: r = 1
+depth 1263: r = 1
+depth 1264: r = 1
+depth 1265: r = 1
+depth 1266: r = 1
+depth 1267: r = 1
+depth 1268: r = 1
+depth 1269: r = 1
+depth 1270: r = 1
+depth 1271: r = 1
+depth 1272: r = 1
+depth 1273: r = 1
+depth 1274: r = 1
+depth 1275: r = 1
+depth 1276: r = 1
+depth 1277: r = 1
+depth 1278: r = 1
+depth 1279: r = 1
+depth 1280: r = 1
+depth 1281: r = 1
+depth 1282: r = 1
+depth 1283: r = 1
+depth 1284: r = 1
+depth 1285: r = 1
+depth 1286: r = 1
+depth 1287: r = 1
+depth 1288: r = 1
+depth 1289: r = 1
+depth 1290: r = 1
+depth 1291: r = 1
+depth 1292: r = 1
+depth 1293: r = 1
+depth 1294: r = 1
+depth 1295: r = 1
+depth 1296: r = 1
+depth 1297: r = 1
+depth 1298: r = 1
+depth 1299: r = 1
+depth 1300: r = 1
+depth 1301: r = 1
+depth 1302: r = 1
+depth 1303: r = 1
+depth 1304: r = 1
+depth 1305: r = 1
+depth 1306: r = 1
+depth 1307: r = 1
+depth 1308: r = 1
+depth 1309: r = 1
+depth 1310: r = 1
+depth 1311: r = 1
+depth 1312: r = 1
+depth 1313: r = 1
+depth 1314: r = 1
+depth 1315: r = 1
+depth 1316: r = 1
+depth 1317: r = 1
+depth 1318: r = 1
+depth 1319: r = 1
+depth 1320: r = 1
+depth 1321: r = 1
+depth 1322: r = 1
+depth 1323: r = 1
+depth 1324: r = 1
+depth 1325: r = 1
+depth 1326: r = 1
+depth 1327: r = 1
+depth 1328: r = 1
+depth 1329: r = 1
+depth 1330: r = 1
+depth 1331: r = 1
+depth 1332: r = 1
+depth 1333: r = 1
+depth 1334: r = 1
+depth 1335: r = 1
+depth 1336: r = 1
+depth 1337: r = 1
+depth 1338: r = 1
+depth 1339: r = 1
+depth 1340: r = 1
+depth 1341: r = 1
+depth 1342: r = 1
+depth 1343: r = 1
+depth 1344: r = 1
+depth 1345: r = 1
+depth 1346: r = 1
+depth 1347: r = 1
+depth 1348: r = 1
+depth 1349: r = 1
+depth 1350: r = 1
+depth 1351: r = 1
+depth 1352: r = 1
+depth 1353: r = 1
+depth 1354: r = 1
+depth 1355: r = 1
+depth 1356: r = 1
+depth 1357: r = 1
+depth 1358: r = 1
+depth 1359: r = 1
+depth 1360: r = 1
+depth 1361: r = 1
+depth 1362: r = 1
+depth 1363: r = 1
+depth 1364: r = 1
+depth 1365: r = 1
+depth 1366: r = 1
+depth 1367: r = 1
+depth 1368: r = 1
+depth 1369: r = 1
+depth 1370: r = 1
+depth 1371: r = 1
+depth 1372: r = 1
+depth 1373: r = 1
+depth 1374: r = 1
+depth 1375: r = 1
+depth 1376: r = 1
+depth 1377: r = 1
+depth 1378: r = 1
+depth 1379: r = 1
+depth 1380: r = 1
+depth 1381: r = 1
+depth 1382: r = 1
+depth 1383: r = 1
+depth 1384: r = 1
+depth 1385: r = 1
+depth 1386: r = 1
+depth 1387: r = 1
+depth 1388: r = 1
+depth 1389: r = 1
+depth 1390: r = 1
+depth 1391: r = 1
+depth 1392: r = 1
+depth 1393: r = 1
+depth 1394: r = 1
+depth 1395: r = 1
+depth 1396: r = 1
+depth 1397: r = 1
+depth 1398: r = 1
+depth 1399: r = 1
+depth 1400: r = 1
+depth 1401: r = 1
+depth 1402: r = 1
+depth 1403: r = 1
+depth 1404: r = 1
+depth 1405: r = 1
+depth 1406: r = 1
+depth 1407: r = 1
+depth 1408: r = 1
+depth 1409: r = 1
+depth 1410: r = 1
+depth 1411: r = 1
+depth 1412: r = 1
+depth 1413: r = 1
+depth 1414: r = 1
+depth 1415: r = 1
+depth 1416: r = 1
+depth 1417: r = 1
+depth 1418: r = 1
+depth 1419: r = 1
+depth 1420: r = 1
+depth 1421: r = 1
+depth 1422: r = 1
+depth 1423: r = 1
+depth 1424: r = 1
+depth 1425: r = 1
+depth 1426: r = 1
+depth 1427: r = 1
+depth 1428: r = 1
+depth 1429: r = 1
+depth 1430: r = 1
+depth 1431: r = 1
+depth 1432: r = 1
+depth 1433: r = 1
+depth 1434: r = 1
+depth 1435: r = 1
+depth 1436: r = 1
+depth 1437: r = 1
+depth 1438: r = 1
+depth 1439: r = 1
+depth 1440: r = 1
+depth 1441: r = 1
+depth 1442: r = 1
+depth 1443: r = 1
+depth 1444: r = 1
+depth 1445: r = 1
+depth 1446: r = 1
+depth 1447: r = 1
+depth 1448: r = 1
+depth 1449: r = 1
+depth 1450: r = 1
+depth 1451: r = 1
+depth 1452: r = 1
+depth 1453: r = 1
+depth 1454: r = 1
+depth 1455: r = 1
+depth 1456: r = 1
+depth 1457: r = 1
+depth 1458: r = 1
+depth 1459: r = 1
+depth 1460: r = 1
+depth 1461: r = 1
+depth 1462: r = 1
+depth 1463: r = 1
+depth 1464: r = 1
+depth 1465: r = 1
+depth 1466: r = 1
+depth 1467: r = 1
+depth 1468: r = 1
+depth 1469: r = 1
+depth 1470: r = 1
+depth 1471: r = 1
+depth 1472: r = 1
+depth 1473: r = 1
+depth 1474: r = 1
+depth 1475: r = 1
+depth 1476: r = 1
+depth 1477: r = 1
+depth 1478: r = 1
+depth 1479: r = 1
+depth 1480: r = 1
+depth 1481: r = 1
+depth 1482: r = 1
+depth 1483: r = 1
+depth 1484: r = 1
+depth 1485: r = 1
+depth 1486: r = 1
+depth 1487: r = 1
+depth 1488: r = 1
+depth 1489: r = 1
+depth 1490: r = 1
+depth 1491: r = 1
+depth 1492: r = 1
+depth 1493: r = 1
+depth 1494: r = 1
+depth 1495: r = 1
+depth 1496: r = 1
+depth 1497: r = 1
+depth 1498: r = 1
+depth 1499: r = 1
+depth 1500: r = 1
+depth 1501: r = 1
+depth 1502: r = 1
+depth 1503: r = 1
+depth 1504: r = 1
+depth 1505: r = 1
+depth 1506: r = 1
+depth 1507: r = 1
+depth 1508: r = 1
+depth 1509: r = 1
+depth 1510: r = 1
+depth 1511: r = 1
+depth 1512: r = 1
+depth 1513: r = 1
+depth 1514: r = 1
+depth 1515: r = 1
+depth 1516: r = 1
+depth 1517: r = 1
+depth 1518: r = 1
+depth 1519: r = 1
+depth 1520: r = 1
+depth 1521: r = 1
+depth 1522: r = 1
+depth 1523: r = 1
+depth 1524: r = 1
+depth 1525: r = 1
+depth 1526: r = 1
+depth 1527: r = 1
+depth 1528: r = 1
+depth 1529: r = 1
+depth 1530: r = 1
+depth 1531: r = 1
+depth 1532: r = 1
+depth 1533: r = 1
+depth 1534: r = 1
+depth 1535: r = 1
+depth 1536: r = 1
+depth 1537: r = 1
+depth 1538: r = 1
+depth 1539: r = 1
+depth 1540: r = 1
+depth 1541: r = 1
+depth 1542: r = 1
+depth 1543: r = 1
+depth 1544: r = 1
+depth 1545: r = 1
+depth 1546: r = 1
+depth 1547: r = 1
+depth 1548: r = 1
+depth 1549: r = 1
+depth 1550: r = 1
+depth 1551: r = 1
+depth 1552: r = 1
+depth 1553: r = 1
+depth 1554: r = 1
+depth 1555: r = 1
+depth 1556: r = 1
+depth 1557: r = 1
+depth 1558: r = 1
+depth 1559: r = 1
+depth 1560: r = 1
+depth 1561: r = 1
+depth 1562: r = 1
+depth 1563: r = 1
+depth 1564: r = 1
+depth 1565: r = 1
+depth 1566: r = 1
+depth 1567: r = 1
+depth 1568: r = 1
+depth 1569: r = 1
+depth 1570: r = 1
+depth 1571: r = 1
+depth 1572: r = 1
+depth 1573: r = 1
+depth 1574: r = 1
+depth 1575: r = 1
+depth 1576: r = 1
+depth 1577: r = 1
+depth 1578: r = 1
+depth 1579: r = 1
+depth 1580: r = 1
+depth 1581: r = 1
+depth 1582: r = 1
+depth 1583: r = 1
+depth 1584: r = 1
+depth 1585: r = 1
+depth 1586: r = 1
+depth 1587: r = 1
+depth 1588: r = 1
+depth 1589: r = 1
+depth 1590: r = 1
+depth 1591: r = 1
+depth 1592: r = 1
+depth 1593: r = 1
+depth 1594: r = 1
+depth 1595: r = 1
+depth 1596: r = 1
+depth 1597: r = 1
+depth 1598: r = 1
+depth 1599: r = 1
+depth 1600: r = 1
+depth 1601: r = 1
+depth 1602: r = 1
+depth 1603: r = 1
+depth 1604: r = 1
+depth 1605: r = 1
+depth 1606: r = 1
+depth 1607: r = 1
+depth 1608: r = 1
+depth 1609: r = 1
+depth 1610: r = 1
+depth 1611: r = 1
+depth 1612: r = 1
+depth 1613: r = 1
+depth 1614: r = 1
+depth 1615: r = 1
+depth 1616: r = 1
+depth 1617: r = 1
+depth 1618: r = 1
+depth 1619: r = 1
+depth 1620: r = 1
+depth 1621: r = 1
+depth 1622: r = 1
+depth 1623: r = 1
+depth 1624: r = 1
+depth 1625: r = 1
+depth 1626: r = 1
+depth 1627: r = 1
+depth 1628: r = 1
+depth 1629: r = 1
+depth 1630: r = 1
+depth 1631: r = 1
+depth 1632: r = 1
+depth 1633: r = 1
+depth 1634: r = 1
+depth 1635: r = 1
+depth 1636: r = 1
+depth 1637: r = 1
+depth 1638: r = 1
+depth 1639: r = 1
+depth 1640: r = 1
+depth 1641: r = 1
+depth 1642: r = 1
+depth 1643: r = 1
+depth 1644: r = 1
+depth 1645: r = 1
+depth 1646: r = 1
+depth 1647: r = 1
+depth 1648: r = 1
+depth 1649: r = 1
+depth 1650: r = 1
+depth 1651: r = 1
+depth 1652: r = 1
+depth 1653: r = 1
+depth 1654: r = 1
+depth 1655: r = 1
+depth 1656: r = 1
+depth 1657: r = 1
+depth 1658: r = 1
+depth 1659: r = 1
+depth 1660: r = 1
+depth 1661: r = 1
+depth 1662: r = 1
+depth 1663: r = 1
+depth 1664: r = 1
+depth 1665: r = 1
+depth 1666: r = 1
+depth 1667: r = 1
+depth 1668: r = 1
+depth 1669: r = 1
+depth 1670: r = 1
+depth 1671: r = 1
+depth 1672: r = 1
+depth 1673: r = 1
+depth 1674: r = 1
+depth 1675: r = 1
+depth 1676: r = 1
+depth 1677: r = 1
+depth 1678: r = 1
+depth 1679: r = 1
+depth 1680: r = 1
+depth 1681: r = 1
+depth 1682: r = 1
+depth 1683: r = 1
+depth 1684: r = 1
+depth 1685: r = 1
+depth 1686: r = 1
+depth 1687: r = 1
+depth 1688: r = 1
+depth 1689: r = 1
+depth 1690: r = 1
+depth 1691: r = 1
+depth 1692: r = 1
+depth 1693: r = 1
+depth 1694: r = 1
+depth 1695: r = 1
+depth 1696: r = 1
+depth 1697: r = 1
+depth 1698: r = 1
+depth 1699: r = 1
+depth 1700: r = 1
+depth 1701: r = 1
+depth 1702: r = 1
+depth 1703: r = 1
+depth 1704: r = 1
+depth 1705: r = 1
+depth 1706: r = 1
+depth 1707: r = 1
+depth 1708: r = 1
+depth 1709: r = 1
+depth 1710: r = 1
+depth 1711: r = 1
+depth 1712: r = 1
+depth 1713: r = 1
+depth 1714: r = 1
+depth 1715: r = 1
+depth 1716: r = 1
+depth 1717: r = 1
+depth 1718: r = 1
+depth 1719: r = 1
+depth 1720: r = 1
+depth 1721: r = 1
+depth 1722: r = 1
+depth 1723: r = 1
+depth 1724: r = 1
+depth 1725: r = 1
+depth 1726: r = 1
+depth 1727: r = 1
+depth 1728: r = 1
+depth 1729: r = 1
+depth 1730: r = 1
+depth 1731: r = 1
+depth 1732: r = 1
+depth 1733: r = 1
+depth 1734: r = 1
+depth 1735: r = 1
+depth 1736: r = 1
+depth 1737: r = 1
+depth 1738: r = 1
+depth 1739: r = 1
+depth 1740: r = 1
+depth 1741: r = 1
+depth 1742: r = 1
+depth 1743: r = 1
+depth 1744: r = 1
+depth 1745: r = 1
+depth 1746: r = 1
+depth 1747: r = 1
+depth 1748: r = 1
+depth 1749: r = 1
+depth 1750: r = 1
+depth 1751: r = 1
+depth 1752: r = 1
+depth 1753: r = 1
+depth 1754: r = 1
+depth 1755: r = 1
+depth 1756: r = 1
+depth 1757: r = 1
+depth 1758: r = 1
+depth 1759: r = 1
+depth 1760: r = 1
+depth 1761: r = 1
+depth 1762: r = 1
+depth 1763: r = 1
+depth 1764: r = 1
+depth 1765: r = 1
+depth 1766: r = 1
+depth 1767: r = 1
+depth 1768: r = 1
+depth 1769: r = 1
+depth 1770: r = 1
+depth 1771: r = 1
+depth 1772: r = 1
+depth 1773: r = 1
+depth 1774: r = 1
+depth 1775: r = 1
+depth 1776: r = 1
+depth 1777: r = 1
+depth 1778: r = 1
+depth 1779: r = 1
+depth 1780: r = 1
+depth 1781: r = 1
+depth 1782: r = 1
+depth 1783: r = 1
+depth 1784: r = 1
+depth 1785: r = 1
+depth 1786: r = 1
+depth 1787: r = 1
+depth 1788: r = 1
+depth 1789: r = 1
+depth 1790: r = 1
+depth 1791: r = 1
+depth 1792: r = 1
+depth 1793: r = 1
+depth 1794: r = 1
+depth 1795: r = 1
+depth 1796: r = 1
+depth 1797: r = 1
+depth 1798: r = 1
+depth 1799: r = 1
+depth 1800: r = 1
+depth 1801: r = 1
+depth 1802: r = 1
+depth 1803: r = 1
+depth 1804: r = 1
+depth 1805: r = 1
+depth 1806: r = 1
+depth 1807: r = 1
+depth 1808: r = 1
+depth 1809: r = 1
+depth 1810: r = 1
+depth 1811: r = 1
+depth 1812: r = 1
+depth 1813: r = 1
+depth 1814: r = 1
+depth 1815: r = 1
+depth 1816: r = 1
+depth 1817: r = 1
+depth 1818: r = 1
+depth 1819: r = 1
+depth 1820: r = 1
+depth 1821: r = 1
+depth 1822: r = 1
+depth 1823: r = 1
+depth 1824: r = 1
+depth 1825: r = 1
+depth 1826: r = 1
+depth 1827: r = 1
+depth 1828: r = 1
+depth 1829: r = 1
+depth 1830: r = 1
+depth 1831: r = 1
+depth 1832: r = 1
+depth 1833: r = 1
+depth 1834: r = 1
+depth 1835: r = 1
+depth 1836: r = 1
+depth 1837: r = 1
+depth 1838: r = 1
+depth 1839: r = 1
+depth 1840: r = 1
+depth 1841: r = 1
+depth 1842: r = 1
+depth 1843: r = 1
+depth 1844: r = 1
+depth 1845: r = 1
+depth 1846: r = 1
+depth 1847: r = 1
+depth 1848: r = 1
+depth 1849: r = 1
+depth 1850: r = 1
+depth 1851: r = 1
+depth 1852: r = 1
+depth 1853: r = 1
+depth 1854: r = 1
+depth 1855: r = 1
+depth 1856: r = 1
+depth 1857: r = 1
+depth 1858: r = 1
+depth 1859: r = 1
+depth 1860: r = 1
+depth 1861: r = 1
+depth 1862: r = 1
+depth 1863: r = 1
+depth 1864: r = 1
+depth 1865: r = 1
+depth 1866: r = 1
+depth 1867: r = 1
+depth 1868: r = 1
+depth 1869: r = 1
+depth 1870: r = 1
+depth 1871: r = 1
+depth 1872: r = 1
+depth 1873: r = 1
+depth 1874: r = 1
+depth 1875: r = 1
+depth 1876: r = 1
+depth 1877: r = 1
+depth 1878: r = 1
+depth 1879: r = 1
+depth 1880: r = 1
+depth 1881: r = 1
+depth 1882: r = 1
+depth 1883: r = 1
+depth 1884: r = 1
+depth 1885: r = 1
+depth 1886: r = 1
+depth 1887: r = 1
+depth 1888: r = 1
+depth 1889: r = 1
+depth 1890: r = 1
+depth 1891: r = 1
+depth 1892: r = 1
+depth 1893: r = 1
+depth 1894: r = 1
+depth 1895: r = 1
+depth 1896: r = 1
+depth 1897: r = 1
+depth 1898: r = 1
+depth 1899: r = 1
+depth 1900: r = 1
+depth 1901: r = 1
+depth 1902: r = 1
+depth 1903: r = 1
+depth 1904: r = 1
+depth 1905: r = 1
+depth 1906: r = 1
+depth 1907: r = 1
+depth 1908: r = 1
+depth 1909: r = 1
+depth 1910: r = 1
+depth 1911: r = 1
+depth 1912: r = 1
+depth 1913: r = 1
+depth 1914: r = 1
+depth 1915: r = 1
+depth 1916: r = 1
+depth 1917: r = 1
+depth 1918: r = 1
+depth 1919: r = 1
+depth 1920: r = 1
+depth 1921: r = 1
+depth 1922: r = 1
+depth 1923: r = 1
+depth 1924: r = 1
+depth 1925: r = 1
+depth 1926: r = 1
+depth 1927: r = 1
+depth 1928: r = 1
+depth 1929: r = 1
+depth 1930: r = 1
+depth 1931: r = 1
+depth 1932: r = 1
+depth 1933: r = 1
+depth 1934: r = 1
+depth 1935: r = 1
+depth 1936: r = 1
+depth 1937: r = 1
+depth 1938: r = 1
+depth 1939: r = 1
+depth 1940: r = 1
+depth 1941: r = 1
+depth 1942: r = 1
+depth 1943: r = 1
+depth 1944: r = 1
+depth 1945: r = 1
+depth 1946: r = 1
+depth 1947: r = 1
+depth 1948: r = 1
+depth 1949: r = 1
+depth 1950: r = 1
+depth 1951: r = 1
+depth 1952: r = 1
+depth 1953: r = 1
+depth 1954: r = 1
+depth 1955: r = 1
+depth 1956: r = 1
+depth 1957: r = 1
+depth 1958: r = 1
+depth 1959: r = 1
+depth 1960: r = 1
+depth 1961: r = 1
+depth 1962: r = 1
+depth 1963: r = 1
+depth 1964: r = 1
+depth 1965: r = 1
+depth 1966: r = 1
+depth 1967: r = 1
+depth 1968: r = 1
+depth 1969: r = 1
+depth 1970: r = 1
+depth 1971: r = 1
+depth 1972: r = 1
+depth 1973: r = 1
+depth 1974: r = 1
+depth 1975: r = 1
+depth 1976: r = 1
+depth 1977: r = 1
+depth 1978: r = 1
+depth 1979: r = 1
+depth 1980: r = 1
+depth 1981: r = 1
+depth 1982: r = 1
+depth 1983: r = 1
+depth 1984: r = 1
+depth 1985: r = 1
+depth 1986: r = 1
+depth 1987: r = 1
+depth 1988: r = 1
+depth 1989: r = 1
+depth 1990: r = 1
+depth 1991: r = 1
+depth 1992: r = 1
+depth 1993: r = 1
+depth 1994: r = 1
+depth 1995: r = 1
+depth 1996: r = 1
+depth 1997: r = 1
+depth 1998: r = 1
+depth 1999: r = 1
diff --git a/none/tests/amd64/bug156404-amd64.vgtest b/none/tests/amd64/bug156404-amd64.vgtest
new file mode 100644
index 0000000000..43fffee0c4
--- /dev/null
+++ b/none/tests/amd64/bug156404-amd64.vgtest
@@ -0,0 +1 @@
+prog: bug156404-amd64