5 char buf1[64], buf2[64];  variable
11   uintptr_t b1 = (uintptr_t) buf1, b2 = (uintptr_t) buf2;  in main()
23   if (memcmp (buf2, "abcd", 5) != 0  in main()
24       || rdi != (uintptr_t) buf2 + 4  in main()
34   if (memcmp (buf2, "0 0 0 ", 7) != 0  in main()
35       || rdi != (uintptr_t) buf2 + 6  in main()
43   if (rsi != (uintptr_t) buf2 + 4  in main()
48   memcpy (buf2, "abcdefghijklmnO", 16);  in main()
52   if (rdi != (uintptr_t) buf2 + 15  in main()
57   memcpy (buf2, "ababababababababcdab", 20);  in main()
62   if (rdi != (uintptr_t) buf2 + 18  in main()
71   if (rdi != (uintptr_t) buf2 + 18  in main()