// File: /workspace/github_c_makefile_star2_O0/maandree[P]libkeccak/./200.c
// Function: libkeccak_f8
LIBKECCAK_GCC_ONLY(__attribute__((__nonnull__, __nothrow__, __hot__)))
static void
libkeccak_f8(register struct libkeccak_state *state)
{
#define A state->S.w8

	uint_fast8_t B[25], C[5], da, db, dc, dd, de;
	int i;

	for (i = 0; i < 18; i++) {
		/* θ step (step 1 of 3). */
#define X(N) C[N] = A[N * 5] ^ A[N * 5 + 1] ^ A[N * 5 + 2] ^ A[N * 5 + 3] ^ A[N * 5 + 4]
		LIST_5(X, ;);
#undef X

		/* θ step (step 2 of 3). */
		da = C[4] ^ rotate8(C[1], 1);
		dd = C[2] ^ rotate8(C[4], 1);
		db = C[0] ^ rotate8(C[2], 1);
		de = C[3] ^ rotate8(C[0], 1);
		dc = C[1] ^ rotate8(C[3], 1);

		/* ρ and π steps, with last two part of θ. */
#define X(bi, ai, dv, r) B[bi] = rotate8(A[ai] ^ dv, r)
		B[0] = A[0] ^ da;  X( 1, 15, dd, 4);  X( 2,  5, db, 1);  X( 3, 20, de, 3);  X( 4, 10, dc, 6);
		X( 5,  6, db, 4);  X( 6, 21, de, 4);  X( 7, 11, dc, 6);  X( 8,  1, da, 4);  X( 9, 16, dd, 7);
		X(10, 12, dc, 3);  X(11,  2, da, 3);  X(12, 17, dd, 1);  X(13,  7, db, 2);  X(14, 22, de, 7);
		X(15, 18, dd, 5);  X(16,  8, db, 5);  B[17] = A[23]^de;  X(18, 13, dc, 7);  X(19,  3, da, 1);
		X(20, 24, de, 6);  X(21, 14, dc, 5);  X(22,  4, da, 2);  B[23] = A[19]^dd;  X(24,  9, db, 2);
#undef X

		/* ξ step. */
#define X(N) A[N] = (uint8_t)(B[N] ^ ((~(B[(N + 5) % 25])) & B[(N + 10) % 25]))
		LIST_25(X, ;);
#undef X

		/* ι step. */
		A[0] ^= rc8[i];
	}

#undef A
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
movq %rdi, -0x8(%rbp)
movl $0x0, -0x40(%rbp)
cmpl $0x12, -0x40(%rbp)
jge 0x65ab
movq -0x8(%rbp), %rax
movzbl (%rax), %eax
movq -0x8(%rbp), %rcx
movzbl 0x1(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x2(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x3(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x4(%rcx), %ecx
xorl %ecx, %eax
movb %al, -0x35(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x5(%rax), %eax
movq -0x8(%rbp), %rcx
movzbl 0x6(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x7(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x8(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x9(%rcx), %ecx
xorl %ecx, %eax
movb %al, -0x34(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xa(%rax), %eax
movq -0x8(%rbp), %rcx
movzbl 0xb(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0xc(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0xd(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0xe(%rcx), %ecx
xorl %ecx, %eax
movb %al, -0x33(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xf(%rax), %eax
movq -0x8(%rbp), %rcx
movzbl 0x10(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x11(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x12(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x13(%rcx), %ecx
xorl %ecx, %eax
movb %al, -0x32(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x14(%rax), %eax
movq -0x8(%rbp), %rcx
movzbl 0x15(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x16(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x17(%rcx), %ecx
xorl %ecx, %eax
movq -0x8(%rbp), %rcx
movzbl 0x18(%rcx), %ecx
xorl %ecx, %eax
movb %al, -0x31(%rbp)
movzbl -0x31(%rbp), %eax
movzbl -0x34(%rbp), %ecx
sarl $0x7, %ecx
movzbl -0x34(%rbp), %edx
shll %edx
orl %edx, %ecx
movzbl %cl, %ecx
xorl %ecx, %eax
movb %al, -0x36(%rbp)
movzbl -0x33(%rbp), %eax
movzbl -0x31(%rbp), %ecx
sarl $0x7, %ecx
movzbl -0x31(%rbp), %edx
shll %edx
orl %edx, %ecx
movzbl %cl, %ecx
xorl %ecx, %eax
movb %al, -0x39(%rbp)
movzbl -0x35(%rbp), %eax
movzbl -0x33(%rbp), %ecx
sarl $0x7, %ecx
movzbl -0x33(%rbp), %edx
shll %edx
orl %edx, %ecx
movzbl %cl, %ecx
xorl %ecx, %eax
movb %al, -0x37(%rbp)
movzbl -0x32(%rbp), %eax
movzbl -0x35(%rbp), %ecx
sarl $0x7, %ecx
movzbl -0x35(%rbp), %edx
shll %edx
orl %edx, %ecx
movzbl %cl, %ecx
xorl %ecx, %eax
movb %al, -0x3a(%rbp)
movzbl -0x34(%rbp), %eax
movzbl -0x32(%rbp), %ecx
sarl $0x7, %ecx
movzbl -0x32(%rbp), %edx
shll %edx
orl %edx, %ecx
movzbl %cl, %ecx
xorl %ecx, %eax
movb %al, -0x38(%rbp)
movq -0x8(%rbp), %rax
movzbl (%rax), %eax
movzbl -0x36(%rbp), %ecx
xorl %ecx, %eax
movb %al, -0x30(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xf(%rax), %eax
movzbl -0x39(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x4, %eax
movq -0x8(%rbp), %rcx
movzbl 0xf(%rcx), %ecx
movzbl -0x39(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x4, %ecx
orl %ecx, %eax
movb %al, -0x2f(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x5(%rax), %eax
movzbl -0x37(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x7, %eax
movq -0x8(%rbp), %rcx
movzbl 0x5(%rcx), %ecx
movzbl -0x37(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll %ecx
orl %ecx, %eax
movb %al, -0x2e(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x14(%rax), %eax
movzbl -0x3a(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x5, %eax
movq -0x8(%rbp), %rcx
movzbl 0x14(%rcx), %ecx
movzbl -0x3a(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x3, %ecx
orl %ecx, %eax
movb %al, -0x2d(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xa(%rax), %eax
movzbl -0x38(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x2, %eax
movq -0x8(%rbp), %rcx
movzbl 0xa(%rcx), %ecx
movzbl -0x38(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x6, %ecx
orl %ecx, %eax
movb %al, -0x2c(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x6(%rax), %eax
movzbl -0x37(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x4, %eax
movq -0x8(%rbp), %rcx
movzbl 0x6(%rcx), %ecx
movzbl -0x37(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x4, %ecx
orl %ecx, %eax
movb %al, -0x2b(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x15(%rax), %eax
movzbl -0x3a(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x4, %eax
movq -0x8(%rbp), %rcx
movzbl 0x15(%rcx), %ecx
movzbl -0x3a(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x4, %ecx
orl %ecx, %eax
movb %al, -0x2a(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xb(%rax), %eax
movzbl -0x38(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x2, %eax
movq -0x8(%rbp), %rcx
movzbl 0xb(%rcx), %ecx
movzbl -0x38(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x6, %ecx
orl %ecx, %eax
movb %al, -0x29(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x1(%rax), %eax
movzbl -0x36(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x4, %eax
movq -0x8(%rbp), %rcx
movzbl 0x1(%rcx), %ecx
movzbl -0x36(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x4, %ecx
orl %ecx, %eax
movb %al, -0x28(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x10(%rax), %eax
movzbl -0x39(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl %eax
movq -0x8(%rbp), %rcx
movzbl 0x10(%rcx), %ecx
movzbl -0x39(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x7, %ecx
orl %ecx, %eax
movb %al, -0x27(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xc(%rax), %eax
movzbl -0x38(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x5, %eax
movq -0x8(%rbp), %rcx
movzbl 0xc(%rcx), %ecx
movzbl -0x38(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x3, %ecx
orl %ecx, %eax
movb %al, -0x26(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x2(%rax), %eax
movzbl -0x36(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x5, %eax
movq -0x8(%rbp), %rcx
movzbl 0x2(%rcx), %ecx
movzbl -0x36(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x3, %ecx
orl %ecx, %eax
movb %al, -0x25(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x11(%rax), %eax
movzbl -0x39(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x7, %eax
movq -0x8(%rbp), %rcx
movzbl 0x11(%rcx), %ecx
movzbl -0x39(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll %ecx
orl %ecx, %eax
movb %al, -0x24(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x7(%rax), %eax
movzbl -0x37(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x6, %eax
movq -0x8(%rbp), %rcx
movzbl 0x7(%rcx), %ecx
movzbl -0x37(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x2, %ecx
orl %ecx, %eax
movb %al, -0x23(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x16(%rax), %eax
movzbl -0x3a(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl %eax
movq -0x8(%rbp), %rcx
movzbl 0x16(%rcx), %ecx
movzbl -0x3a(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x7, %ecx
orl %ecx, %eax
movb %al, -0x22(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x12(%rax), %eax
movzbl -0x39(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x3, %eax
movq -0x8(%rbp), %rcx
movzbl 0x12(%rcx), %ecx
movzbl -0x39(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x5, %ecx
orl %ecx, %eax
movb %al, -0x21(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x8(%rax), %eax
movzbl -0x37(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x3, %eax
movq -0x8(%rbp), %rcx
movzbl 0x8(%rcx), %ecx
movzbl -0x37(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x5, %ecx
orl %ecx, %eax
movb %al, -0x20(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x17(%rax), %eax
movzbl -0x3a(%rbp), %ecx
xorl %ecx, %eax
movb %al, -0x1f(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xd(%rax), %eax
movzbl -0x38(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl %eax
movq -0x8(%rbp), %rcx
movzbl 0xd(%rcx), %ecx
movzbl -0x38(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x7, %ecx
orl %ecx, %eax
movb %al, -0x1e(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x3(%rax), %eax
movzbl -0x36(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x7, %eax
movq -0x8(%rbp), %rcx
movzbl 0x3(%rcx), %ecx
movzbl -0x36(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll %ecx
orl %ecx, %eax
movb %al, -0x1d(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x18(%rax), %eax
movzbl -0x3a(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x2, %eax
movq -0x8(%rbp), %rcx
movzbl 0x18(%rcx), %ecx
movzbl -0x3a(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x6, %ecx
orl %ecx, %eax
movb %al, -0x1c(%rbp)
movq -0x8(%rbp), %rax
movzbl 0xe(%rax), %eax
movzbl -0x38(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x3, %eax
movq -0x8(%rbp), %rcx
movzbl 0xe(%rcx), %ecx
movzbl -0x38(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x5, %ecx
orl %ecx, %eax
movb %al, -0x1b(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x4(%rax), %eax
movzbl -0x36(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x6, %eax
movq -0x8(%rbp), %rcx
movzbl 0x4(%rcx), %ecx
movzbl -0x36(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x2, %ecx
orl %ecx, %eax
movb %al, -0x1a(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x13(%rax), %eax
movzbl -0x39(%rbp), %ecx
xorl %ecx, %eax
movb %al, -0x19(%rbp)
movq -0x8(%rbp), %rax
movzbl 0x9(%rax), %eax
movzbl -0x37(%rbp), %ecx
xorl %ecx, %eax
movzbl %al, %eax
sarl $0x6, %eax
movq -0x8(%rbp), %rcx
movzbl 0x9(%rcx), %ecx
movzbl -0x37(%rbp), %edx
xorl %edx, %ecx
movzbl %cl, %ecx
shll $0x2, %ecx
orl %ecx, %eax
movb %al, -0x18(%rbp)
movzbl -0x30(%rbp), %eax
movzbl -0x2b(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x26(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, (%rax)
movzbl -0x2f(%rbp), %eax
movzbl -0x2a(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x25(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x1(%rax)
movzbl -0x2e(%rbp), %eax
movzbl -0x29(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x24(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x2(%rax)
movzbl -0x2d(%rbp), %eax
movzbl -0x28(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x23(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x3(%rax)
movzbl -0x2c(%rbp), %eax
movzbl -0x27(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x22(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x4(%rax)
movzbl -0x2b(%rbp), %eax
movzbl -0x26(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x21(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x5(%rax)
movzbl -0x2a(%rbp), %eax
movzbl -0x25(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x20(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x6(%rax)
movzbl -0x29(%rbp), %eax
movzbl -0x24(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1f(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x7(%rax)
movzbl -0x28(%rbp), %eax
movzbl -0x23(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1e(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x8(%rax)
movzbl -0x27(%rbp), %eax
movzbl -0x22(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1d(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x9(%rax)
movzbl -0x26(%rbp), %eax
movzbl -0x21(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xa(%rax)
movzbl -0x25(%rbp), %eax
movzbl -0x20(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1b(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xb(%rax)
movzbl -0x24(%rbp), %eax
movzbl -0x1f(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x1a(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xc(%rax)
movzbl -0x23(%rbp), %eax
movzbl -0x1e(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x19(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xd(%rax)
movzbl -0x22(%rbp), %eax
movzbl -0x1d(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x18(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xe(%rax)
movzbl -0x21(%rbp), %eax
movzbl -0x1c(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x30(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0xf(%rax)
movzbl -0x20(%rbp), %eax
movzbl -0x1b(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2f(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x10(%rax)
movzbl -0x1f(%rbp), %eax
movzbl -0x1a(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2e(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x11(%rax)
movzbl -0x1e(%rbp), %eax
movzbl -0x19(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2d(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x12(%rax)
movzbl -0x1d(%rbp), %eax
movzbl -0x18(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2c(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x13(%rax)
movzbl -0x1c(%rbp), %eax
movzbl -0x30(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2b(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x14(%rax)
movzbl -0x1b(%rbp), %eax
movzbl -0x2f(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x2a(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x15(%rax)
movzbl -0x1a(%rbp), %eax
movzbl -0x2e(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x29(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x16(%rax)
movzbl -0x19(%rbp), %eax
movzbl -0x2d(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x28(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x17(%rax)
movzbl -0x18(%rbp), %eax
movzbl -0x2c(%rbp), %ecx
xorl $-0x1, %ecx
movzbl -0x27(%rbp), %edx
andl %edx, %ecx
xorl %ecx, %eax
movb %al, %cl
movq -0x8(%rbp), %rax
movb %cl, 0x18(%rax)
movslq -0x40(%rbp), %rcx
leaq 0xd02(%rip), %rax       # 0x7290
movzbl (%rax,%rcx), %edx
movq -0x8(%rbp), %rax
movzbl (%rax), %ecx
xorl %edx, %ecx
movb %cl, (%rax)
movl -0x40(%rbp), %eax
addl $0x1, %eax
movl %eax, -0x40(%rbp)
jmp 0x5d2f
popq %rbp
retq
nopl (%rax)