// File: karel-brinda[P]ococo/ext/htslib/md5.c
// Function: body
static const void *body(hts_md5_context *ctx, const void *data, unsigned long size)
{
	const unsigned char *ptr;
	hts_md5_u32plus a, b, c, d;
	hts_md5_u32plus saved_a, saved_b, saved_c, saved_d;

	ptr = (const unsigned char *)data;

	a = ctx->a;
	b = ctx->b;
	c = ctx->c;
	d = ctx->d;

	do {
		saved_a = a;
		saved_b = b;
		saved_c = c;
		saved_d = d;

/* Round 1 */
		STEP(F, a, b, c, d, SET(0), 0xd76aa478, 7)
		STEP(F, d, a, b, c, SET(1), 0xe8c7b756, 12)
		STEP(F, c, d, a, b, SET(2), 0x242070db, 17)
		STEP(F, b, c, d, a, SET(3), 0xc1bdceee, 22)
		STEP(F, a, b, c, d, SET(4), 0xf57c0faf, 7)
		STEP(F, d, a, b, c, SET(5), 0x4787c62a, 12)
		STEP(F, c, d, a, b, SET(6), 0xa8304613, 17)
		STEP(F, b, c, d, a, SET(7), 0xfd469501, 22)
		STEP(F, a, b, c, d, SET(8), 0x698098d8, 7)
		STEP(F, d, a, b, c, SET(9), 0x8b44f7af, 12)
		STEP(F, c, d, a, b, SET(10), 0xffff5bb1, 17)
		STEP(F, b, c, d, a, SET(11), 0x895cd7be, 22)
		STEP(F, a, b, c, d, SET(12), 0x6b901122, 7)
		STEP(F, d, a, b, c, SET(13), 0xfd987193, 12)
		STEP(F, c, d, a, b, SET(14), 0xa679438e, 17)
		STEP(F, b, c, d, a, SET(15), 0x49b40821, 22)

/* Round 2 */
		STEP(G, a, b, c, d, GET(1), 0xf61e2562, 5)
		STEP(G, d, a, b, c, GET(6), 0xc040b340, 9)
		STEP(G, c, d, a, b, GET(11), 0x265e5a51, 14)
		STEP(G, b, c, d, a, GET(0), 0xe9b6c7aa, 20)
		STEP(G, a, b, c, d, GET(5), 0xd62f105d, 5)
		STEP(G, d, a, b, c, GET(10), 0x02441453, 9)
		STEP(G, c, d, a, b, GET(15), 0xd8a1e681, 14)
		STEP(G, b, c, d, a, GET(4), 0xe7d3fbc8, 20)
		STEP(G, a, b, c, d, GET(9), 0x21e1cde6, 5)
		STEP(G, d, a, b, c, GET(14), 0xc33707d6, 9)
		STEP(G, c, d, a, b, GET(3), 0xf4d50d87, 14)
		STEP(G, b, c, d, a, GET(8), 0x455a14ed, 20)
		STEP(G, a, b, c, d, GET(13), 0xa9e3e905, 5)
		STEP(G, d, a, b, c, GET(2), 0xfcefa3f8, 9)
		STEP(G, c, d, a, b, GET(7), 0x676f02d9, 14)
		STEP(G, b, c, d, a, GET(12), 0x8d2a4c8a, 20)

/* Round 3 */
		STEP(H, a, b, c, d, GET(5), 0xfffa3942, 4)
		STEP(H2, d, a, b, c, GET(8), 0x8771f681, 11)
		STEP(H, c, d, a, b, GET(11), 0x6d9d6122, 16)
		STEP(H2, b, c, d, a, GET(14), 0xfde5380c, 23)
		STEP(H, a, b, c, d, GET(1), 0xa4beea44, 4)
		STEP(H2, d, a, b, c, GET(4), 0x4bdecfa9, 11)
		STEP(H, c, d, a, b, GET(7), 0xf6bb4b60, 16)
		STEP(H2, b, c, d, a, GET(10), 0xbebfbc70, 23)
		STEP(H, a, b, c, d, GET(13), 0x289b7ec6, 4)
		STEP(H2, d, a, b, c, GET(0), 0xeaa127fa, 11)
		STEP(H, c, d, a, b, GET(3), 0xd4ef3085, 16)
		STEP(H2, b, c, d, a, GET(6), 0x04881d05, 23)
		STEP(H, a, b, c, d, GET(9), 0xd9d4d039, 4)
		STEP(H2, d, a, b, c, GET(12), 0xe6db99e5, 11)
		STEP(H, c, d, a, b, GET(15), 0x1fa27cf8, 16)
		STEP(H2, b, c, d, a, GET(2), 0xc4ac5665, 23)

/* Round 4 */
		STEP(I, a, b, c, d, GET(0), 0xf4292244, 6)
		STEP(I, d, a, b, c, GET(7), 0x432aff97, 10)
		STEP(I, c, d, a, b, GET(14), 0xab9423a7, 15)
		STEP(I, b, c, d, a, GET(5), 0xfc93a039, 21)
		STEP(I, a, b, c, d, GET(12), 0x655b59c3, 6)
		STEP(I, d, a, b, c, GET(3), 0x8f0ccc92, 10)
		STEP(I, c, d, a, b, GET(10), 0xffeff47d, 15)
		STEP(I, b, c, d, a, GET(1), 0x85845dd1, 21)
		STEP(I, a, b, c, d, GET(8), 0x6fa87e4f, 6)
		STEP(I, d, a, b, c, GET(15), 0xfe2ce6e0, 10)
		STEP(I, c, d, a, b, GET(6), 0xa3014314, 15)
		STEP(I, b, c, d, a, GET(13), 0x4e0811a1, 21)
		STEP(I, a, b, c, d, GET(4), 0xf7537e82, 6)
		STEP(I, d, a, b, c, GET(11), 0xbd3af235, 10)
		STEP(I, c, d, a, b, GET(2), 0x2ad7d2bb, 15)
		STEP(I, b, c, d, a, GET(9), 0xeb86d391, 21)

		a += saved_a;
		b += saved_b;
		c += saved_c;
		d += saved_d;

		ptr += 64;
	} while (size -= 64);

	ctx->a = a;
	ctx->b = b;
	ctx->c = c;
	ctx->d = d;

	return ptr;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq %rdx, -0x18(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x20(%rbp)
movq -0x8(%rbp), %rax
movl 0x8(%rax), %eax
movl %eax, -0x24(%rbp)
movq -0x8(%rbp), %rax
movl 0xc(%rax), %eax
movl %eax, -0x28(%rbp)
movq -0x8(%rbp), %rax
movl 0x10(%rax), %eax
movl %eax, -0x2c(%rbp)
movq -0x8(%rbp), %rax
movl 0x14(%rax), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl %eax, -0x34(%rbp)
movl -0x28(%rbp), %eax
movl %eax, -0x38(%rbp)
movl -0x2c(%rbp), %eax
movl %eax, -0x3c(%rbp)
movl -0x30(%rbp), %eax
movl %eax, -0x40(%rbp)
movl -0x30(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl (%rcx), %eax
addl $0xd76aa478, %eax       # imm = 0xD76AA478
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x7, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x19, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x2c(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x4(%rcx), %eax
addl $0xe8c7b756, %eax       # imm = 0xE8C7B756
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xc, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x14, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x8(%rcx), %eax
addl $0x242070db, %eax       # imm = 0x242070DB
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x11, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x24(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0xc(%rcx), %eax
addl $0xc1bdceee, %eax       # imm = 0xC1BDCEEE
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x16, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xa, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x10(%rcx), %eax
addl $0xf57c0faf, %eax       # imm = 0xF57C0FAF
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x7, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x19, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x2c(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x14(%rcx), %eax
addl $0x4787c62a, %eax       # imm = 0x4787C62A
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xc, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x14, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x18(%rcx), %eax
addl $0xa8304613, %eax       # imm = 0xA8304613
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x11, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x24(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x1c(%rcx), %eax
addl $0xfd469501, %eax       # imm = 0xFD469501
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x16, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xa, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x20(%rcx), %eax
addl $0x698098d8, %eax       # imm = 0x698098D8
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x7, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x19, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x2c(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x24(%rcx), %eax
addl $0x8b44f7af, %eax       # imm = 0x8B44F7AF
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xc, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x14, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x28(%rcx), %eax
addl $0xffff5bb1, %eax       # imm = 0xFFFF5BB1
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x11, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x24(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x2c(%rcx), %eax
addl $0x895cd7be, %eax       # imm = 0x895CD7BE
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x16, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xa, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x30(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x30(%rcx), %eax
addl $0x6b901122, %eax       # imm = 0x6B901122
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x7, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x19, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x2c(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x34(%rcx), %eax
addl $0xfd987193, %eax       # imm = 0xFD987193
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xc, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x14, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x28(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x38(%rcx), %eax
addl $0xa679438e, %eax       # imm = 0xA679438E
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x11, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xf, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x24(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x3c(%rcx), %eax
addl $0x49b40821, %eax       # imm = 0x49B40821
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x16, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xa, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x4(%rcx), %eax
addl $0xf61e2562, %eax       # imm = 0xF61E2562
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x5, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1b, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x18(%rcx), %eax
addl $0xc040b340, %eax       # imm = 0xC040B340
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0x9, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x17, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x2c(%rcx), %eax
addl $0x265e5a51, %eax       # imm = 0x265E5A51
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xe, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x12, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl (%rcx), %eax
addl $0xe9b6c7aa, %eax       # imm = 0xE9B6C7AA
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x14, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xc, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x14(%rcx), %eax
addl $0xd62f105d, %eax       # imm = 0xD62F105D
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x5, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1b, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x28(%rcx), %eax
addl $0x2441453, %eax        # imm = 0x2441453
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0x9, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x17, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x3c(%rcx), %eax
addl $0xd8a1e681, %eax       # imm = 0xD8A1E681
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xe, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x12, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x10(%rcx), %eax
addl $0xe7d3fbc8, %eax       # imm = 0xE7D3FBC8
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x14, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xc, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x24(%rcx), %eax
addl $0x21e1cde6, %eax       # imm = 0x21E1CDE6
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x5, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1b, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x38(%rcx), %eax
addl $0xc33707d6, %eax       # imm = 0xC33707D6
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0x9, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x17, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0xc(%rcx), %eax
addl $0xf4d50d87, %eax       # imm = 0xF4D50D87
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xe, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x12, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x20(%rcx), %eax
addl $0x455a14ed, %eax       # imm = 0x455A14ED
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x14, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xc, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x34(%rcx), %eax
addl $0xa9e3e905, %eax       # imm = 0xA9E3E905
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x5, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1b, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x8(%rcx), %eax
addl $0xfcefa3f8, %eax       # imm = 0xFCEFA3F8
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0x9, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x17, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x1c(%rcx), %eax
addl $0x676f02d9, %eax       # imm = 0x676F02D9
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xe, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x12, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x30(%rcx), %eax
addl $0x8d2a4c8a, %eax       # imm = 0x8D2A4C8A
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x14, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xc, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x2c(%rbp), %eax
xorl -0x30(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x14(%rcx), %eax
addl $0xfffa3942, %eax       # imm = 0xFFFA3942
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x4, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
xorl -0x2c(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x20(%rcx), %eax
addl $0x8771f681, %eax       # imm = 0x8771F681
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xb, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x15, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
xorl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x2c(%rcx), %eax
addl $0x6d9d6122, %eax       # imm = 0x6D9D6122
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x10, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
xorl -0x24(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x38(%rcx), %eax
addl $0xfde5380c, %eax       # imm = 0xFDE5380C
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x17, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x9, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x2c(%rbp), %eax
xorl -0x30(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x4(%rcx), %eax
addl $0xa4beea44, %eax       # imm = 0xA4BEEA44
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x4, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
xorl -0x2c(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x10(%rcx), %eax
addl $0x4bdecfa9, %eax       # imm = 0x4BDECFA9
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xb, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x15, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
xorl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x1c(%rcx), %eax
addl $0xf6bb4b60, %eax       # imm = 0xF6BB4B60
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x10, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
xorl -0x24(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x28(%rcx), %eax
addl $0xbebfbc70, %eax       # imm = 0xBEBFBC70
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x17, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x9, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x2c(%rbp), %eax
xorl -0x30(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x34(%rcx), %eax
addl $0x289b7ec6, %eax       # imm = 0x289B7EC6
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x4, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
xorl -0x2c(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl (%rcx), %eax
addl $0xeaa127fa, %eax       # imm = 0xEAA127FA
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xb, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x15, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
xorl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0xc(%rcx), %eax
addl $0xd4ef3085, %eax       # imm = 0xD4EF3085
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x10, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
xorl -0x24(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x18(%rcx), %eax
addl $0x4881d05, %eax        # imm = 0x4881D05
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x17, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x9, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
xorl -0x2c(%rbp), %eax
xorl -0x30(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x24(%rcx), %eax
addl $0xd9d4d039, %eax       # imm = 0xD9D4D039
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x4, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1c, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
movl -0x28(%rbp), %ecx
xorl -0x2c(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x30(%rcx), %eax
addl $0xe6db99e5, %eax       # imm = 0xE6DB99E5
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xb, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x15, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
xorl -0x24(%rbp), %eax
xorl -0x28(%rbp), %eax
movq -0x20(%rbp), %rcx
addl 0x3c(%rcx), %eax
addl $0x1fa27cf8, %eax       # imm = 0x1FA27CF8
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0x10, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x10, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
movl -0x30(%rbp), %ecx
xorl -0x24(%rbp), %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x8(%rcx), %eax
addl $0xc4ac5665, %eax       # imm = 0xC4AC5665
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x17, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x9, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl (%rcx), %eax
addl $0xf4292244, %eax       # imm = 0xF4292244
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x6, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1a, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x1c(%rcx), %eax
addl $0x432aff97, %eax       # imm = 0x432AFF97
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xa, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x16, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x38(%rcx), %eax
addl $0xab9423a7, %eax       # imm = 0xAB9423A7
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xf, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x11, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x14(%rcx), %eax
addl $0xfc93a039, %eax       # imm = 0xFC93A039
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x15, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xb, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x30(%rcx), %eax
addl $0x655b59c3, %eax       # imm = 0x655B59C3
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x6, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1a, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0xc(%rcx), %eax
addl $0x8f0ccc92, %eax       # imm = 0x8F0CCC92
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xa, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x16, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x28(%rcx), %eax
addl $0xffeff47d, %eax       # imm = 0xFFEFF47D
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xf, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x11, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x4(%rcx), %eax
addl $0x85845dd1, %eax       # imm = 0x85845DD1
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x15, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xb, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x20(%rcx), %eax
addl $0x6fa87e4f, %eax       # imm = 0x6FA87E4F
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x6, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1a, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x3c(%rcx), %eax
addl $0xfe2ce6e0, %eax       # imm = 0xFE2CE6E0
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xa, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x16, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x18(%rcx), %eax
addl $0xa3014314, %eax       # imm = 0xA3014314
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xf, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x11, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x34(%rcx), %eax
addl $0x4e0811a1, %eax       # imm = 0x4E0811A1
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x15, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xb, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
movl -0x28(%rbp), %ecx
movl -0x30(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x10(%rcx), %eax
addl $0xf7537e82, %eax       # imm = 0xF7537E82
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x24(%rbp), %eax
shll $0x6, %eax
movl -0x24(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x1a, %ecx
orl %ecx, %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x28(%rbp), %eax
movl -0x24(%rbp), %ecx
movl -0x2c(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x2c(%rcx), %eax
addl $0xbd3af235, %eax       # imm = 0xBD3AF235
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x30(%rbp), %eax
shll $0xa, %eax
movl -0x30(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x16, %ecx
orl %ecx, %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movl -0x24(%rbp), %eax
movl -0x30(%rbp), %ecx
movl -0x28(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x8(%rcx), %eax
addl $0x2ad7d2bb, %eax       # imm = 0x2AD7D2BB
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x2c(%rbp), %eax
shll $0xf, %eax
movl -0x2c(%rbp), %ecx
andl $-0x1, %ecx
shrl $0x11, %ecx
orl %ecx, %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x30(%rbp), %eax
movl -0x2c(%rbp), %ecx
movl -0x24(%rbp), %edx
xorl $-0x1, %edx
orl %edx, %ecx
xorl %ecx, %eax
movq -0x20(%rbp), %rcx
addl 0x24(%rcx), %eax
addl $0xeb86d391, %eax       # imm = 0xEB86D391
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x28(%rbp), %eax
shll $0x15, %eax
movl -0x28(%rbp), %ecx
andl $-0x1, %ecx
shrl $0xb, %ecx
orl %ecx, %eax
movl %eax, -0x28(%rbp)
movl -0x2c(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x34(%rbp), %eax
addl -0x24(%rbp), %eax
movl %eax, -0x24(%rbp)
movl -0x38(%rbp), %eax
addl -0x28(%rbp), %eax
movl %eax, -0x28(%rbp)
movl -0x3c(%rbp), %eax
addl -0x2c(%rbp), %eax
movl %eax, -0x2c(%rbp)
movl -0x40(%rbp), %eax
addl -0x30(%rbp), %eax
movl %eax, -0x30(%rbp)
movq -0x20(%rbp), %rax
addq $0x40, %rax
movq %rax, -0x20(%rbp)
movq -0x18(%rbp), %rax
subq $0x40, %rax
movq %rax, -0x18(%rbp)
cmpq $0x0, %rax
jne 0x6c9d0
movl -0x24(%rbp), %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x8(%rax)
movl -0x28(%rbp), %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0xc(%rax)
movl -0x2c(%rbp), %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x10(%rax)
movl -0x30(%rbp), %ecx
movq -0x8(%rbp), %rax
movl %ecx, 0x14(%rax)
movq -0x20(%rbp), %rax
popq %rbp
retq
nopl (%rax,%rax)