#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int run_test(unsigned char const *, unsigned char const *,
             unsigned long long const, unsigned char *, unsigned long long,
             unsigned char const *, unsigned long long const,
             unsigned char const *);
scalar_t__ strlen(char const *);
int test6() {
  const char k[] = "Edgar Allan Poe.";
  const char h[] =
      "\"Seldom we find,\" says Solomon Don Dunce,\n\"Half an idea in the "
      "profoundest sonnet.\nThrough all the flimsy things we see at once\nAs "
      "easily as through a Naples bonnet-\nTrash of all trash!- how can a lady "
      "don it?\nYet heavier far than your Petrarchan stuff-\nOwl-downy "
      "nonsense that the faintest puff\nTwirls into trunk-paper the while you "
      "con it.\"\nAnd, veritably, Sol is right enough.\nThe general "
      "tuckermanities are arrant\nBubbles- ephemeral and so transparent-\nBut "
      "this is, now- you may depend upon it-\nStable, opaque, immortal- all by "
      "dint\nOf the dear names that he concealed within 't.";
  char m[] =
      "The noblest name in Allegory's page,\nThe hand that traced inexorable "
      "rage;\nA pleasing moralist whose page refined,\nDisplays the deepest "
      "knowledge of the mind;\nA tender poet of a foreign tongue,\n(Indited in "
      "the language that he sung.)\nA bard of brilliant but unlicensed "
      "page\nAt once the shame and glory of our age,\nThe prince of harmony "
      "and stirling sense,\nThe ancient dramatist of eminence,\nThe bard that "
      "paints imagination's powers,\nAnd him whose song revives departed "
      "hours,\nOnce more an ancient tragic bard recall,\nIn boldness of design "
      "surpassing all.\nThese names when rightly read, a name [make] "
      "known\nWhich gathers all their glories in its own.";
  const unsigned long long hlen = (unsigned long long)strlen(h);
  unsigned long long mlen = (unsigned long long)strlen(m);
  const unsigned long long clen = 650;
  const unsigned char c[650] = {
      0x04, 0x6F, 0x2D, 0x93, 0x69, 0xB2, 0x76, 0x10, 0xF8, 0xB3, 0x27, 0x5D,
      0x77, 0x56, 0x42, 0x04, 0x07, 0x7B, 0x0D, 0x95, 0xDC, 0x69, 0xAD, 0x43,
      0xB4, 0x27, 0x84, 0xB7, 0x38, 0x3D, 0xAA, 0xCE, 0x0C, 0x02, 0x4F, 0x97,
      0x80, 0x5C, 0x05, 0x1C, 0x40, 0x4D, 0x2E, 0xD0, 0x07, 0x4E, 0xE9, 0x94,
      0x1A, 0x7E, 0xA8, 0x21, 0xD2, 0xC0, 0xB4, 0x0F, 0xD9, 0x05, 0xA5, 0xB2,
      0xD6, 0x72, 0xD7, 0x60, 0x32, 0x5D, 0x2A, 0x6B, 0xD5, 0xA6, 0xB5, 0xA1,
      0xB6, 0x7D, 0x17, 0xAF, 0xDD, 0x78, 0xD4, 0xA8, 0x5B, 0xD7, 0xC7, 0xB4,
      0x32, 0xDA, 0x02, 0x08, 0x60, 0xC6, 0x5B, 0xA0, 0xBB, 0x9E, 0xE7, 0x71,
      0xBE, 0x26, 0x17, 0xF5, 0xD2, 0xD8, 0x47, 0x01, 0x22, 0x1B, 0x69, 0xBC,
      0x97, 0x81, 0x9C, 0x5F, 0x97, 0x14, 0x04, 0x6B, 0xB4, 0x9C, 0xD5, 0x6A,
      0x03, 0x37, 0x93, 0xB7, 0x04, 0x3B, 0x5D, 0xD8, 0x4A, 0x9F, 0x0A, 0x3E,
      0x73, 0x3E, 0x9E, 0xF8, 0xAD, 0x5E, 0x61, 0x32, 0xD2, 0x87, 0x6F, 0x9B,
      0x15, 0x48, 0x59, 0x25, 0x1D, 0xDF, 0x75, 0x1A, 0x77, 0x9B, 0xCD, 0x0D,
      0x70, 0xD4, 0x05, 0xB2, 0x7F, 0xE5, 0xED, 0x8E, 0x71, 0xCA, 0xE0, 0x16,
      0x9A, 0xDF, 0xCF, 0x64, 0x63, 0x7F, 0x59, 0x4E, 0xF0, 0x11, 0x8D, 0xB6,
      0x07, 0x3D, 0xCC, 0x91, 0x74, 0x2B, 0xB3, 0x6A, 0xE2, 0x4B, 0xCD, 0x16,
      0x35, 0x7D, 0xE8, 0x02, 0x2D, 0x04, 0x6C, 0xF4, 0x4C, 0x84, 0xE3, 0x9E,
      0xAB, 0x8C, 0x9F, 0x1A, 0xDE, 0xDE, 0xAF, 0x45, 0xC2, 0xCB, 0x5C, 0x8A,
      0x83, 0xF9, 0x39, 0x15, 0x07, 0xC4, 0xE2, 0x9D, 0xBD, 0x14, 0x9D, 0x46,
      0xE5, 0x43, 0x8F, 0xDF, 0xE2, 0x79, 0x2C, 0x96, 0x64, 0xBB, 0x10, 0x1D,
      0x97, 0x4A, 0x75, 0x81, 0x34, 0x3F, 0xD7, 0x7D, 0xA6, 0x61, 0x44, 0xC0,
      0xD2, 0x10, 0x6F, 0x77, 0xB5, 0x53, 0x43, 0x54, 0xF1, 0x93, 0x96, 0x82,
      0xB5, 0x6E, 0x33, 0xE9, 0x5B, 0xF0, 0x78, 0x52, 0xF4, 0x41, 0x95, 0x62,
      0x52, 0xE8, 0x3F, 0xCA, 0x1A, 0x42, 0x13, 0x1D, 0xB1, 0x07, 0x41, 0x38,
      0x12, 0x88, 0xC6, 0x93, 0x6C, 0xF4, 0x6A, 0x59, 0x24, 0x69, 0x2B, 0x27,
      0xF8, 0xF9, 0xA7, 0x1E, 0x96, 0x8D, 0x7D, 0x8B, 0xD6, 0x5F, 0xF1, 0x48,
      0xA8, 0x63, 0x4A, 0x8B, 0x47, 0x50, 0x35, 0x12, 0x10, 0x96, 0xD6, 0xFC,
      0x50, 0x57, 0xFE, 0xE7, 0x45, 0x7B, 0x89, 0x7E, 0x3D, 0x39, 0x1B, 0x56,
      0x7C, 0xAE, 0x78, 0x72, 0x75, 0x1A, 0xAD, 0x04, 0xE7, 0x06, 0x50, 0x78,
      0xA9, 0x19, 0x0F, 0x88, 0x7B, 0x12, 0xED, 0xA1, 0xF3, 0x26, 0x65, 0xB0,
      0x5D, 0x47, 0x1C, 0xE9, 0x0B, 0x36, 0xB5, 0x11, 0x78, 0x2F, 0x46, 0xC6,
      0x34, 0x83, 0xEB, 0x1D, 0x89, 0x69, 0x70, 0x9B, 0xD1, 0xB4, 0xCF, 0x31,
      0x9D, 0x37, 0xC1, 0xA9, 0xD7, 0x47, 0xBC, 0x3F, 0xCE, 0x6D, 0x40, 0xCA,
      0x3C, 0x33, 0x39, 0x59, 0xC2, 0x3E, 0xD2, 0x1C, 0x7D, 0xA2, 0x21, 0x22,
      0x22, 0xC6, 0x54, 0x6E, 0xA0, 0x46, 0xDF, 0xB5, 0xAF, 0x52, 0xE1, 0x25,
      0xCC, 0x75, 0xE8, 0x3F, 0xAC, 0x9F, 0xDB, 0x91, 0xC5, 0xAF, 0xCB, 0xF5,
      0xB6, 0xFA, 0x61, 0xC6, 0x89, 0x58, 0x59, 0x66, 0x22, 0xBC, 0x30, 0xF6,
      0x0D, 0x09, 0x4D, 0xBB, 0x13, 0xE9, 0x62, 0x04, 0x93, 0x3E, 0xAE, 0x8B,
      0x4E, 0x43, 0xEC, 0x89, 0x79, 0x1C, 0x63, 0xE7, 0x4D, 0xFB, 0xAF, 0xBC,
      0x1C, 0x95, 0x6B, 0x11, 0x57, 0xFD, 0x13, 0x62, 0xF3, 0xFE, 0x1F, 0x53,
      0x2C, 0x0F, 0x4A, 0xC8, 0x7A, 0xAB, 0x23, 0x80, 0xE7, 0xC7, 0x39, 0x1F,
      0x0B, 0x82, 0xFC, 0xFB, 0x21, 0xD6, 0x1E, 0x84, 0x72, 0xA4, 0x9A, 0x31,
      0x73, 0x92, 0x98, 0xC8, 0xE0, 0xFB, 0xDF, 0xBE, 0x25, 0x87, 0x00, 0x56,
      0x0E, 0xD5, 0x06, 0x1F, 0x8A, 0x34, 0x7E, 0x2D, 0x42, 0x9A, 0xC3, 0xDC,
      0x27, 0x36, 0x6F, 0x25, 0x15, 0x8F, 0xCD, 0x5B, 0x95, 0x04, 0xC8, 0x06,
      0x29, 0x9B, 0xC2, 0xFF, 0xA2, 0x1B, 0x06, 0xCE, 0xDB, 0x0B, 0xF9, 0x76,
      0x16, 0x14, 0x7A, 0x38, 0xAE, 0xA2, 0xB0, 0x4C, 0xE0, 0x36, 0x14, 0x98,
      0x85, 0xA9, 0x9F, 0xAD, 0x53, 0xCE, 0xB0, 0x00, 0x06, 0xB2, 0x31, 0xBF,
      0x6B, 0xA2, 0xD5, 0xC6, 0xF3, 0x12, 0x84, 0xE7, 0xF2, 0xCE, 0x0C, 0xB8,
      0xFA, 0x3F, 0x22, 0xEE, 0xF3, 0x4B, 0xD6, 0xBE, 0x40, 0x4A, 0x27, 0x9A,
      0x78, 0x3A, 0xC1, 0xC3, 0x2E, 0x04, 0x0F, 0xD4, 0x0B, 0xD3, 0xF6, 0xEF,
      0x6A, 0x0D, 0xD1, 0xF0, 0xF9, 0xFD, 0x24, 0x1A, 0xB5, 0xE8, 0x47, 0x75,
      0x94, 0xB9, 0x38, 0x56, 0xEC, 0xFC, 0x59, 0xF9, 0x81, 0x57, 0x94, 0x76,
      0x16, 0xBE, 0x17, 0x12, 0xBD, 0x1B, 0x7A, 0x95, 0x89, 0xBF, 0x76, 0xBD,
      0x36, 0xB5};
  const unsigned char t[16] = {0xFC, 0x39, 0xEE, 0x75, 0xD7, 0x5E, 0xEF, 0x72,
                               0xA9, 0x3B, 0x81, 0x5F, 0x3F, 0xD1, 0x68, 0x58};
  return run_test((const unsigned char *)k, (const unsigned char *)h, hlen,
                  (unsigned char *)m, mlen, c, clen, t);
}


x86 assembly (clang, -O0):
<test6>:
push   %rbp
mov    %rsp,%rbp
sub    $0x7d0,%rsp
mov    0xebe(%rip),%rax
mov    %rax,-0x20(%rbp)
mov    0xebb(%rip),%rax
mov    %rax,-0x18(%rbp)
mov    0xeb9(%rip),%al
mov    %al,-0x10(%rbp)
lea    -0x270(%rbp),%rdi
lea    0xeb8(%rip),%rsi
mov    $0x248,%edx
call   1040 <memcpy@plt>
lea    -0x500(%rbp),%rdi
lea    0x10f0(%rip),%rsi
mov    $0x28b,%edx
call   1040 <memcpy@plt>
lea    -0x270(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x508(%rbp)
lea    -0x500(%rbp),%rdi
call   1030 <strlen@plt>
mov    %rax,-0x510(%rbp)
movq   $0x28a,-0x518(%rbp)
lea    -0x7b0(%rbp),%rdi
lea    0x1337(%rip),%rsi
mov    $0x28a,%edx
call   1040 <memcpy@plt>
mov    0x15b6(%rip),%rax
mov    %rax,-0x7c0(%rbp)
mov    0x15b0(%rip),%rax
mov    %rax,-0x7b8(%rbp)
lea    -0x20(%rbp),%rdi
lea    -0x270(%rbp),%rsi
mov    -0x508(%rbp),%rdx
lea    -0x500(%rbp),%rcx
mov    -0x510(%rbp),%r8
lea    -0x7b0(%rbp),%r9
lea    -0x7c0(%rbp),%rax
movq   $0x28a,(%rsp)
mov    %rax,0x8(%rsp)
call   1050 <run_test@plt>
add    $0x7d0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<test6>:
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x7a0,%rsp
movaps 0xeb9(%rip),%xmm0
movaps %xmm0,(%rsp)
movb   $0x0,0x10(%rsp)
lea    0xec9(%rip),%rsi
lea    0x30(%rsp),%r14
mov    $0x248,%edx
mov    %r14,%rdi
call   1040 <memcpy@plt>
lea    0x1100(%rip),%rsi
lea    0x510(%rsp),%r15
mov    $0x28b,%edx
mov    %r15,%rdi
call   1040 <memcpy@plt>
mov    %r14,%rdi
call   1030 <strlen@plt>
mov    %rax,%r12
mov    %r15,%rdi
call   1030 <strlen@plt>
mov    %rax,%rbx
lea    0x135e(%rip),%rsi
lea    0x280(%rsp),%r13
mov    $0x28a,%edx
mov    %r13,%rdi
call   1040 <memcpy@plt>
movaps 0x15d2(%rip),%xmm0
movaps %xmm0,0x20(%rsp)
lea    0x20(%rsp),%rax
mov    %rsp,%rdi
mov    %r14,%rsi
mov    %r12,%rdx
mov    %r15,%rcx
mov    %rbx,%r8
mov    %r13,%r9
push   %rax
push   $0x28a
call   1050 <run_test@plt>
add    $0x7b0,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
ret

LLVM IR (-O0):
@__const.test6.k = [17 x i8] c"Edgar Allan Poe.\00"
@__const.test6.h = [584 x i8] c"\22Seldom we find,\22 says Solomon Don Dunce,\0A\22Half an idea in the profoundest sonnet.\0AThrough all the flimsy things we see at once\0AAs easily as through a Naples bonnet-\0ATrash of all trash!- how can a lady don it?\0AYet heavier far than your Petrarchan stuff-\0AOwl-downy nonsense that the faintest puff\0ATwirls into trunk-paper the while you con it.\22\0AAnd, veritably, Sol is right enough.\0AThe general tuckermanities are arrant\0ABubbles- ephemeral and so transparent-\0ABut this is, now- you may depend upon it-\0AStable, opaque, immortal- all by dint\0AOf the dear names that he concealed within 't.\00"
@__const.test6.m = [651 x i8] c"The noblest name in Allegory's page,\0AThe hand that traced inexorable rage;\0AA pleasing moralist whose page refined,\0ADisplays the deepest knowledge of the mind;\0AA tender poet of a foreign tongue,\0A(Indited in the language that he sung.)\0AA bard of brilliant but unlicensed page\0AAt once the shame and glory of our age,\0AThe prince of harmony and stirling sense,\0AThe ancient dramatist of eminence,\0AThe bard that paints imagination's powers,\0AAnd him whose song revives departed hours,\0AOnce more an ancient tragic bard recall,\0AIn boldness of design surpassing all.\0AThese names when rightly read, a name [make] known\0AWhich gathers all their glories in its own.\00"
@__const.test6.c = [650 x i8] c"\04o-\93i\B2v\10\F8\B3']wVB\04\07{\0D\95\DCi\ADC\B4'\84\B78=\AA\CE\0C\02O\97\80\\\05\1C@M.\D0\07N\E9\94\1A~\A8!\D2\C0\B4\0F\D9\05\A5\B2\D6r\D7`2]*k\D5\A6\B5\A1\B6}\17\AF\DDx\D4\A8[\D7\C7\B42\DA\02\08`\C6[\A0\BB\9E\E7q\BE&\17\F5\D2\D8G\01\22\1Bi\BC\97\81\9C_\97\14\04k\B4\9C\D5j\037\93\B7\04;]\D8J\9F\0A>s>\9E\F8\AD^a2\D2\87o\9B\15HY%\1D\DFu\1Aw\9B\CD\0Dp\D4\05\B2\7F\E5\ED\8Eq\CA\E0\16\9A\DF\CFdc\7FYN\F0\11\8D\B6\07=\CC\91t+\B3j\E2K\CD\165}\E8\02-\04l\F4L\84\E3\9E\AB\8C\9F\1A\DE\DE\AFE\C2\CB\\\8A\83\F99\15\07\C4\E2\9D\BD\14\9DF\E5C\8F\DF\E2y,\96d\BB\10\1D\97Ju\814?\D7}\A6aD\C0\D2\10ow\B5SCT\F1\93\96\82\B5n3\E9[\F0xR\F4A\95bR\E8?\CA\1AB\13\1D\B1\07A8\12\88\C6\93l\F4jY$i+'\F8\F9\A7\1E\96\8D}\8B\D6_\F1H\A8cJ\8BGP5\12\10\96\D6\FCPW\FE\E7E{\89~=9\1BV|\AExru\1A\AD\04\E7\06Px\A9\19\0F\88{\12\ED\A1\F3&e\B0]G\1C\E9\0B6\B5\11x/F\C64\83\EB\1D\89ip\9B\D1\B4\CF1\9D7\C1\A9\D7G\BC?\CEm@\CA<39Y\C2>\D2\1C}\A2!\22\22\C6Tn\A0F\DF\B5\AFR\E1%\CCu\E8?\AC\9F\DB\91\C5\AF\CB\F5\B6\FAa\C6\89XYf\22\BC0\F6\0D\09M\BB\13\E9b\04\93>\AE\8BNC\EC\89y\1Cc\E7M\FB\AF\BC\1C\95k\11W\FD\13b\F3\FE\1FS,\0FJ\C8z\AB#\80\E7\C79\1F\0B\82\FC\FB!\D6\1E\84r\A4\9A1s\92\98\C8\E0\FB\DF\BE%\87\00V\0E\D5\06\1F\8A4~-B\9A\C3\DC'6o%\15\8F\CD[\95\04\C8\06)\9B\C2\FF\A2\1B\06\CE\DB\0B\F9v\16\14z8\AE\A2\B0L\E06\14\98\85\A9\9F\ADS\CE\B0\00\06\B21\BFk\A2\D5\C6\F3\12\84\E7\F2\CE\0C\B8\FA?\22\EE\F3K\D6\BE@J'\9Ax:\C1\C3.\04\0F\D4\0B\D3\F6\EFj\0D\D1\F0\F9\FD$\1A\B5\E8Gu\94\B98V\EC\FCY\F9\81W\94v\16\BE\17\12\BD\1Bz\95\89\BFv\BD6\B5"
@__const.test6.t = [16 x i8] c"\FC9\EEu\D7^\EFr\A9;\81_?\D1hX"
define i32 @test6() {
%1 = alloca [17 x i8]
%2 = alloca [584 x i8]
%3 = alloca [651 x i8]
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca [650 x i8]
%8 = alloca [16 x i8]
%9 = bitcast [17 x i8]* %1 to i8*
%10 = bitcast [584 x i8]* %2 to i8*
%11 = bitcast [651 x i8]* %3 to i8*
%12 = getelementptr inbounds [584 x i8], [584 x i8]* %2, i64 0, i64 0
%13 = call i64 @strlen(i8* %12)
store i64 %13, i64* %4
%14 = getelementptr inbounds [651 x i8], [651 x i8]* %3, i64 0, i64 0
%15 = call i64 @strlen(i8* %14)
store i64 %15, i64* %5
store i64 650, i64* %6
%16 = bitcast [650 x i8]* %7 to i8*
%17 = bitcast [16 x i8]* %8 to i8*
%18 = getelementptr inbounds [17 x i8], [17 x i8]* %1, i64 0, i64 0
%19 = getelementptr inbounds [584 x i8], [584 x i8]* %2, i64 0, i64 0
%20 = load i64, i64* %4
%21 = getelementptr inbounds [651 x i8], [651 x i8]* %3, i64 0, i64 0
%22 = load i64, i64* %5
%23 = getelementptr inbounds [650 x i8], [650 x i8]* %7, i64 0, i64 0
%24 = getelementptr inbounds [16 x i8], [16 x i8]* %8, i64 0, i64 0
%25 = call i32 @run_test(i8* %18, i8* %19, i64 %20, i8* %21, i64 %22, i8* %23, i64 650, i8* %24)
ret i32 %25
}

LLVM IR (-O2):
@__const.test6.k = [17 x i8] c"Edgar Allan Poe.\00"
@__const.test6.h = [584 x i8] c"\22Seldom we find,\22 says Solomon Don Dunce,\0A\22Half an idea in the profoundest sonnet.\0AThrough all the flimsy things we see at once\0AAs easily as through a Naples bonnet-\0ATrash of all trash!- how can a lady don it?\0AYet heavier far than your Petrarchan stuff-\0AOwl-downy nonsense that the faintest puff\0ATwirls into trunk-paper the while you con it.\22\0AAnd, veritably, Sol is right enough.\0AThe general tuckermanities are arrant\0ABubbles- ephemeral and so transparent-\0ABut this is, now- you may depend upon it-\0AStable, opaque, immortal- all by dint\0AOf the dear names that he concealed within 't.\00"
@__const.test6.m = [651 x i8] c"The noblest name in Allegory's page,\0AThe hand that traced inexorable rage;\0AA pleasing moralist whose page refined,\0ADisplays the deepest knowledge of the mind;\0AA tender poet of a foreign tongue,\0A(Indited in the language that he sung.)\0AA bard of brilliant but unlicensed page\0AAt once the shame and glory of our age,\0AThe prince of harmony and stirling sense,\0AThe ancient dramatist of eminence,\0AThe bard that paints imagination's powers,\0AAnd him whose song revives departed hours,\0AOnce more an ancient tragic bard recall,\0AIn boldness of design surpassing all.\0AThese names when rightly read, a name [make] known\0AWhich gathers all their glories in its own.\00"
@__const.test6.c = [650 x i8] c"\04o-\93i\B2v\10\F8\B3']wVB\04\07{\0D\95\DCi\ADC\B4'\84\B78=\AA\CE\0C\02O\97\80\\\05\1C@M.\D0\07N\E9\94\1A~\A8!\D2\C0\B4\0F\D9\05\A5\B2\D6r\D7`2]*k\D5\A6\B5\A1\B6}\17\AF\DDx\D4\A8[\D7\C7\B42\DA\02\08`\C6[\A0\BB\9E\E7q\BE&\17\F5\D2\D8G\01\22\1Bi\BC\97\81\9C_\97\14\04k\B4\9C\D5j\037\93\B7\04;]\D8J\9F\0A>s>\9E\F8\AD^a2\D2\87o\9B\15HY%\1D\DFu\1Aw\9B\CD\0Dp\D4\05\B2\7F\E5\ED\8Eq\CA\E0\16\9A\DF\CFdc\7FYN\F0\11\8D\B6\07=\CC\91t+\B3j\E2K\CD\165}\E8\02-\04l\F4L\84\E3\9E\AB\8C\9F\1A\DE\DE\AFE\C2\CB\\\8A\83\F99\15\07\C4\E2\9D\BD\14\9DF\E5C\8F\DF\E2y,\96d\BB\10\1D\97Ju\814?\D7}\A6aD\C0\D2\10ow\B5SCT\F1\93\96\82\B5n3\E9[\F0xR\F4A\95bR\E8?\CA\1AB\13\1D\B1\07A8\12\88\C6\93l\F4jY$i+'\F8\F9\A7\1E\96\8D}\8B\D6_\F1H\A8cJ\8BGP5\12\10\96\D6\FCPW\FE\E7E{\89~=9\1BV|\AExru\1A\AD\04\E7\06Px\A9\19\0F\88{\12\ED\A1\F3&e\B0]G\1C\E9\0B6\B5\11x/F\C64\83\EB\1D\89ip\9B\D1\B4\CF1\9D7\C1\A9\D7G\BC?\CEm@\CA<39Y\C2>\D2\1C}\A2!\22\22\C6Tn\A0F\DF\B5\AFR\E1%\CCu\E8?\AC\9F\DB\91\C5\AF\CB\F5\B6\FAa\C6\89XYf\22\BC0\F6\0D\09M\BB\13\E9b\04\93>\AE\8BNC\EC\89y\1Cc\E7M\FB\AF\BC\1C\95k\11W\FD\13b\F3\FE\1FS,\0FJ\C8z\AB#\80\E7\C79\1F\0B\82\FC\FB!\D6\1E\84r\A4\9A1s\92\98\C8\E0\FB\DF\BE%\87\00V\0E\D5\06\1F\8A4~-B\9A\C3\DC'6o%\15\8F\CD[\95\04\C8\06)\9B\C2\FF\A2\1B\06\CE\DB\0B\F9v\16\14z8\AE\A2\B0L\E06\14\98\85\A9\9F\ADS\CE\B0\00\06\B21\BFk\A2\D5\C6\F3\12\84\E7\F2\CE\0C\B8\FA?\22\EE\F3K\D6\BE@J'\9Ax:\C1\C3.\04\0F\D4\0B\D3\F6\EFj\0D\D1\F0\F9\FD$\1A\B5\E8Gu\94\B98V\EC\FCY\F9\81W\94v\16\BE\17\12\BD\1Bz\95\89\BFv\BD6\B5"
@__const.test6.t = [16 x i8] c"\FC9\EEu\D7^\EFr\A9;\81_?\D1hX"
define i32 @test6() {
%1 = alloca [17 x i8]
%2 = alloca [584 x i8]
%3 = alloca [651 x i8]
%4 = alloca [650 x i8]
%5 = alloca [16 x i8]
%6 = getelementptr inbounds [17 x i8], [17 x i8]* %1, i64 0, i64 0
%7 = getelementptr inbounds [584 x i8], [584 x i8]* %2, i64 0, i64 0
%8 = getelementptr inbounds [651 x i8], [651 x i8]* %3, i64 0, i64 0
%9 = call i64 @strlen(i8* %7)
%10 = call i64 @strlen(i8* %8)
%11 = getelementptr inbounds [650 x i8], [650 x i8]* %4, i64 0, i64 0
%12 = getelementptr inbounds [16 x i8], [16 x i8]* %5, i64 0, i64 0
%13 = call i32 @run_test(i8* %6, i8* %7, i64 %9, i8* %8, i64 %10, i8* %11, i64 650, i8* %12)
ret i32 %13
}