// File: /workspace/github_c_makefile_star2_O3/maandree[P]libkeccak/test.c
// Function: test_digest
static int
test_digest(void)
{
#define sha3(output, message)\
	(printf("  Testing SHA3-"#output"(%s): ", #message),\
	 libkeccak_spec_sha3(&spec, output),\
	 test_digest_case(&spec, LIBKECCAK_SHA3_SUFFIX, message, strlen(message), 0, answer))

#define keccak(output, message)\
	(printf("  Testing Keccak-"#output"(%s): ", #message),\
	 libkeccak_spec_sha3(&spec, output) /* sic! */,\
	 test_digest_case(&spec, "", message, strlen(message), 0, answer))

#define keccak_bits(output, message, msg_bits)\
	(printf("  Testing Keccak-"#output"(%s:%i): ", #message, msg_bits),\
	 libkeccak_spec_sha3(&spec, output) /* sic! */,\
	 test_digest_case(&spec, "", message, msg_bits / 8, msg_bits % 8, answer))

#define rawshake(semicapacity, output, message)\
	(printf("  Testing RawSHAKE-"#semicapacity"(%s, %i): ", #message, output),\
	 libkeccak_spec_rawshake(&spec, semicapacity, output),\
	 test_digest_case(&spec, LIBKECCAK_RAWSHAKE_SUFFIX, message, strlen(message), 0, answer))

#define rawshake_bits(semicapacity, output, message, bits)\
	(printf("  Testing RawSHAKE-"#semicapacity"(%s-%i, %i): ", #message, bits, output),\
	 libkeccak_spec_rawshake(&spec, semicapacity, output),\
	 test_digest_case(&spec, LIBKECCAK_RAWSHAKE_SUFFIX, message, strlen(message) - !!bits, bits, answer))

#define shake(semicapacity, output, message)\
	(printf("  Testing SHAKE-"#semicapacity"(%s, %i): ", #message, output),\
	 libkeccak_spec_shake(&spec, semicapacity, output),\
	 test_digest_case(&spec, LIBKECCAK_SHAKE_SUFFIX, message, strlen(message), 0, answer))

#define keccak_g(b, c, o, message)\
	(printf("  Testing Keccak[%i,%i,%i](%s): ", b, c, o, #message),\
	 spec.bitrate = b, spec.capacity = c, spec.output = o,\
	 test_digest_case(&spec, "", message, strlen(message), 0, answer))


	struct libkeccak_spec spec;
	const char *answer;

	printf("Testing libkeccak_digest:\n");


	answer = "6b4e03423667dbb73b6e15454f0eb1abd4597f9a1b078e3f5b5a6bc7";
	if (sha3(224, ""))
		return -1;

	answer = "a7ffc6f8bf1ed76651c14756a061d662f580ff4de43b49fa82d80a4b80f8434a";
	if (sha3(256, ""))
		return -1;

	answer = "0c63a75b845e4f7d01107d852e4c2485c51a50aaaa94fc61995e71bbee983a2ac3713831264adb47fb6bd1e058d5f004";
	if (sha3(384, ""))
		return -1;

	answer = "a69f73cca23a9ac5c8b567dc185a756e97c982164fe25859e0d1dcc1475c80a6"
	         "15b2123af1f5f94c11e3e9402c3ac558f500199d95b6d3e301758586281dcd26";
	if (sha3(512, ""))
		return -1;


	answer = "f71837502ba8e10837bdd8d365adb85591895602fc552b48b7390abd";
	if (keccak(224, ""))
		return -1;

	answer = "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470";
	if (keccak(256, ""))
		return -1;

	answer = "2c23146a63a29acf99e73b88f8c24eaa7dc60aa771780ccc006afbfa8fe2479b2dd2b21362337441ac12b515911957ff";
	if (keccak(384, ""))
		return -1;

	answer = "0eab42de4c3ceb9235fc91acffe746b29c29a8c366b7c60e4e67c466f36a4304"
	         "c00fa9caf9d87976ba469bcbe06713b435f091ef2769fb160cdab33d3670680e";
	if (keccak(512, ""))
		return -1;


	answer = "22c8017ac8bcf65f59d1b7e92c9d4c6739d25e34ce5cb608b24ff096";
	if (sha3(224, "withdrew hypothesis snakebird qmc2"))
		return -1;

	answer = "43808dde2662143dc4eed5dac5e98c74b06711829f02a3b121bd74f3";
	if (sha3(224, "intensifierat sturdiness perl-image-exiftool vingla"))
		return -1;

	answer = "d32b4ac86065774dee5eb5cdd2f67b4e86501086d7373884e8b20a36";
	if (sha3(224, "timjan avogadro uppdriven lib32-llvm-amdgpu-snapshot"))
		return -1;

	answer = "efbd76d45bfa952485148f8ad46143897f17c27ffdc8eb7287f9353b";
	if (sha3(224, "grilo-plugins auditorium tull dissimilarity's"))
		return -1;

	answer = "6705aa36ecf58f333e0e6364ac1d0b7931d402e13282127cfd6f876c";
	if (sha3(224, "royalty tt yellowstone deficiencies"))
		return -1;

	answer = "803a0ff09dda0df306e483a9f91b20a3dbbf9c2ebb8d0a3b28f3b9e0";
	if (sha3(224, "kdegames-kdiamond tunisisk occurrence's outtalad"))
		return -1;

	answer = "a64779aca943a6aef1d2e7c9a0f4e997f4dabd1f77112a22121d3ed5";
	if (sha3(224, "chevalier slat's spindel representations"))
		return -1;

	answer = "f0a3e0587af7723f0aa4719059d3f5107115a5b3667cd5209cc4d867";
	if (sha3(224, "archery lexicographical equine veered"))
		return -1;

	answer = "312e7e3c6403ab1a086155fb9a52b22a3d0d257876afd2b93fb7272e";
	if (sha3(224, "splay washbasin opposing there"))
		return -1;

	answer = "270ba05b764221ff5b5d94adfb4fdb1f36f07fe7c438904a5f3df071";
	if (sha3(224, "faktum desist thundered klen"))
		return -1;


	answer = "c5d2460186f7233c927e7db2dcc703c0e500b653ca82273b7bfad8045d85a470";
	if (keccak_bits(256, "\x00", 0))
		return -1;

	answer = "a7ffc6f8bf1ed76651c14756a061d662f580ff4de43b49fa82d80a4b80f8434a";
	if (keccak_bits(256, "\x02", 2))
		return -1;

	answer = "3a1108d4a90a31b85a10bdce77f4bfbdcc5b1d70dd405686f8bbde834aa1a410";
	if (keccak_bits(256, "\x03", 2))
		return -1;

	answer = "46b9dd2b0ba88d13233b3feb743eeb243fcd52ea62b81b82b50c27646ed5762f";
	if (keccak_bits(256, "\x0F", 4))
		return -1;


	answer = "3a1108d4a90a31b85a10bdce77f4bfbd";
	if (rawshake(256, 128, ""))
		return -1;

	answer = "46b9dd2b0ba88d13233b3feb743eeb24";
	if (rawshake_bits(256, 128, "\x03", 2))
		return -1;

	answer = "46b9dd2b0ba88d13233b3feb743eeb24";
	if (shake(256, 128, ""))
		return -1;


	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de92253515713cce8"
	         "d2098be1c82df40b40e375549c0eeb655f92d718f01f147ba1c7c67844c7ba8b11492cd6";
	if (keccak_g(1024, 1600 - 1024, 576, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de92253515713cce8"
	         "d2098be1c82df40b40e375549c0eeb655f92d718f01f147ba1c7c67844c7ba8b11492cd6"
	         "143466958504c110522f772fe746573b1dc905f943ed1ec6ecf858575798596beeca4eb6"
	         "bb7bea635bcea6331315728fb57866370bf1ad5d";
	if (keccak_g(1024, 1600 - 1024, 1024, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de92253515713cce8"
	         "d2098be1c82df40b40e375549c0eeb655f92d718f01f147ba1c7c67844c7ba8b11492cd6"
	         "143466958504c110522f772fe746573b1dc905f943ed1ec6ecf858575798596beeca4eb6"
	         "bb7bea635bcea6331315728fb57866370bf1ad5decbc56d28d47ce53f18376d9f5531551"
	         "7a976d52dd3f98b7025e0b3c513c6d17d40462cddb5406d693bbe859a136af5375b5dd6e"
	         "3478934b00aa6cd44aa7ae2cd0271d83fbab699b";
	if (keccak_g(1024, 1600 - 1024, 1600, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de92253515713cce8"
	         "d2098be1c82df40b40e375549c0eeb655f92d718f01f147ba1c7c67844c7ba8b11492cd6"
	         "143466958504c110522f772fe746573b1dc905f943ed1ec6ecf858575798596beeca4eb6"
	         "bb7bea635bcea6331315728fb57866370bf1ad5decbc56d28d47ce53f18376d9f5531551"
	         "7a976d52dd3f98b7025e0b3c513c6d17d40462cddb5406d693bbe859a136af5375b5dd6e"
	         "3478934b00aa6cd44aa7ae2cd0271d83fbab699b9c";
	if (keccak_g(1024, 1600 - 1024, 1608, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de92253515713cce8"
	         "d2098be1c82df40b40e375549c0eeb655f92d718f01f147ba1c7c67844c7ba8b11492cd6"
	         "143466958504c110522f772fe746573b1dc905f943ed1ec6ecf858575798596beeca4eb6"
	         "bb7bea635bcea6331315728fb57866370bf1ad5decbc56d28d47ce53f18376d9f5531551"
	         "7a976d52dd3f98b7025e0b3c513c6d17d40462cddb5406d693bbe859a136af5375b5dd6e"
	         "3478934b00aa6cd44aa7ae2cd0271d83fbab699b9c58351bf7d26586b9c32282f1ac6356"
	         "1981b79791d7ab2b6e01f5b8e6cf0cab8b2076fd82bd99df015a602cdda5684162fea982"
	         "0f5a441c4620f549fbaf4e818201f292dbf4f6c9f82af8aa80b4124984da6f65b2874e0e"
	         "f01d042c08e9aedbb6ce4c10526e38c1a4e8b108c4f14b066f9d42640687b55124b081da"
	         "a9f9ae4232f313740b4fb787545dc19e7778f7082b3fa5824d2400c012be1a6c5ade7149"
	         "e452d310752fa9ebb964ab36fde0c8f46f47a0e2c9b20f24e3cca904bbedaa7ea176f662"
	         "33cd2d95";
	if (keccak_g(1024, 1600 - 1024, 3200, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "65070cdd6f91c0aadcfc470895a2606c828bce7ce3fa723418c9013de9225351";
	if (keccak_g(1024, 1600 - 1024, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "e6f86ebc15b962f73f36f36fc8a84c3ae84b1c1023bfd4c5f1829389135aecc3";
	if (keccak_g(512, 1600 - 512, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "420b97fc88962c87ec2adaa8f48d74d9ff4ea7ae7d691f9c33b8713ca1d3d573";
	if (keccak_g(256, 1600 - 256, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "524790afbe4706d938b6f753e14104f556890e2a415e211b0564d60499db0333";
	if (keccak_g(512, 800 - 512, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "04a6b4ad08b3018eefba0fb756272d949ac0f71c26f836d31dd13b28b884aa0f";
	if (keccak_g(256, 800 - 256, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "d56f547791225e54460e6274ed31e57b7085820c11d65f1f322a16a3352c85ed";
	if (keccak_g(256, 400 - 256, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "ceec066a57b9b31a5a0661df7bafec4183a26d0ed81e50bc958471f84fa347a7";
	if (keccak_g(128, 400 - 128, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "b18f679c7105a72a993f70fa5adb3f17ef7ccffaffb4dc0f6fed74aa2f565194";
	if (keccak_g(128, 200 - 128, 256, "capitol's kvistfri broadly raping"))
		return -1;

	answer = "9b845c1ecc2b1b3a48ba42ef29ccc4b348da8ab15074a870d8e799ca33c15e4b";
	if (keccak_g(64, 200 - 64, 256, "capitol's kvistfri broadly raping"))
		return -1;


	printf("\n");
	return 0;

#undef keccak_g
#undef shake
#undef rawshake_bits
#undef rawshake
#undef keccak_bits
#undef keccak
#undef sha3
}

// Assembly:
pushq %r14
pushq %rbx
subq $0x18, %rsp
leaq 0xf660(%rip), %rdi      # 0x11038
callq 0x1060
leaq 0x8827(%rip), %rdi      # 0xa20b
leaq 0x8839(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xed34(%rip), %rsi      # 0x10747
leaq 0x90f2(%rip), %rdx      # 0xab0c
leaq 0x87b1(%rip), %r9       # 0xa1d2
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
movl $0xffffffff, %ebx       # imm = 0xFFFFFFFF
testl %eax, %eax
jne 0x274c
leaq 0x8829(%rip), %rdi      # 0xa268
leaq 0x87de(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0xecd9(%rip), %rsi      # 0x10747
leaq 0x9097(%rip), %rdx      # 0xab0c
leaq 0x87ab(%rip), %r9       # 0xa227
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x884d(%rip), %rdi      # 0xa2e2
leaq 0x8788(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0xec83(%rip), %rsi      # 0x10747
leaq 0x9041(%rip), %rdx      # 0xab0c
leaq 0x87af(%rip), %r9       # 0xa281
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8891(%rip), %rdi      # 0xa37c
leaq 0x8732(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0xec2d(%rip), %rsi      # 0x10747
leaq 0x8feb(%rip), %rdx      # 0xab0c
leaq 0x87d3(%rip), %r9       # 0xa2fb
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x888d(%rip), %rdi      # 0xa3ce
leaq 0x86dc(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0x8f9c(%rip), %rdx      # 0xab0c
leaq 0x881e(%rip), %r9       # 0xa395
movq %rdx, %rsi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8897(%rip), %rdi      # 0xa42a
leaq 0x868a(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8f4a(%rip), %rdx      # 0xab0c
leaq 0x8820(%rip), %r9       # 0xa3e9
movq %rdx, %rsi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x88c1(%rip), %rdi      # 0xa4a6
leaq 0x8638(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x340, (%rdi)          # imm = 0x340
movq $0x300, 0x8(%rdi)       # imm = 0x300
movq $0x180, 0x10(%rdi)      # imm = 0x180
leaq 0x8ef8(%rip), %rdx      # 0xab0c
leaq 0x882a(%rip), %r9       # 0xa445
movq %rdx, %rsi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x890b(%rip), %rdi      # 0xa542
leaq 0x85e6(%rip), %rsi      # 0xa224
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x240, (%rdi)          # imm = 0x240
movq $0x400, 0x8(%rdi)       # imm = 0x400
movq $0x200, 0x10(%rdi)      # imm = 0x200
leaq 0x8ea6(%rip), %rdx      # 0xab0c
leaq 0x8854(%rip), %r9       # 0xa4c1
movq %rdx, %rsi
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8582(%rip), %rdi      # 0xa20b
leaq 0x8906(%rip), %rsi      # 0xa596
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xea8f(%rip), %rsi      # 0x10747
leaq 0x88fc(%rip), %rdx      # 0xa5bb
leaq 0x8897(%rip), %r9       # 0xa55d
movl $0x22, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8529(%rip), %rdi      # 0xa20b
leaq 0x892e(%rip), %rsi      # 0xa617
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xea36(%rip), %rsi      # 0x10747
leaq 0x8935(%rip), %rdx      # 0xa64d
leaq 0x88bf(%rip), %r9       # 0xa5de
movl $0x33, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x84d0(%rip), %rdi      # 0xa20b
leaq 0x8978(%rip), %rsi      # 0xa6ba
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe9dd(%rip), %rsi      # 0x10747
leaq 0x8980(%rip), %rdx      # 0xa6f1
leaq 0x8909(%rip), %r9       # 0xa681
movl $0x34, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8477(%rip), %rdi      # 0xa20b
leaq 0x89c4(%rip), %rsi      # 0xa75f
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe984(%rip), %rsi      # 0x10747
leaq 0x89c5(%rip), %rdx      # 0xa78f
leaq 0x8955(%rip), %r9       # 0xa726
movl $0x2d, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x841e(%rip), %rdi      # 0xa20b
leaq 0x8a02(%rip), %rsi      # 0xa7f6
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe92b(%rip), %rsi      # 0x10747
leaq 0x89f9(%rip), %rdx      # 0xa81c
leaq 0x8993(%rip), %r9       # 0xa7bd
movl $0x23, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x83c5(%rip), %rdi      # 0xa20b
leaq 0x8a2c(%rip), %rsi      # 0xa879
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe8d2(%rip), %rsi      # 0x10747
leaq 0x8a30(%rip), %rdx      # 0xa8ac
leaq 0x89bd(%rip), %r9       # 0xa840
movl $0x30, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x836c(%rip), %rdi      # 0xa20b
leaq 0x8a70(%rip), %rsi      # 0xa916
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe879(%rip), %rsi      # 0x10747
leaq 0x8a6c(%rip), %rdx      # 0xa941
leaq 0x8a01(%rip), %r9       # 0xa8dd
movl $0x28, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8313(%rip), %rdi      # 0xa20b
leaq 0x8aa4(%rip), %rsi      # 0xa9a3
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe820(%rip), %rsi      # 0x10747
leaq 0x8a9d(%rip), %rdx      # 0xa9cb
leaq 0x8a35(%rip), %r9       # 0xa96a
movl $0x25, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x82ba(%rip), %rdi      # 0xa20b
leaq 0x8ad2(%rip), %rsi      # 0xaa2a
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe7c7(%rip), %rsi      # 0x10747
leaq 0x8ac4(%rip), %rdx      # 0xaa4b
leaq 0x8a63(%rip), %r9       # 0xa9f1
movl $0x1e, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8261(%rip), %rdi      # 0xa20b
leaq 0x8af2(%rip), %rsi      # 0xaaa3
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x480, (%rdi)          # imm = 0x480
movq $0x1c0, 0x8(%rdi)       # imm = 0x1C0
movq $0xe0, 0x10(%rdi)
leaq 0xe76e(%rip), %rsi      # 0x10747
leaq 0x8ae2(%rip), %rdx      # 0xaac2
leaq 0x8a83(%rip), %r9       # 0xaa6a
movl $0x1c, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8adc(%rip), %rdi      # 0xaadf
leaq 0x8af3(%rip), %rsi      # 0xaafd
xorl %edx, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8ad8(%rip), %rsi      # 0xab0c
leaq 0xf136(%rip), %rdx      # 0x11171
leaq 0x83a7(%rip), %r9       # 0xa3e9
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8a84(%rip), %rdi      # 0xaadf
leaq 0x8aa2(%rip), %rsi      # 0xab04
movl $0x2, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8a7d(%rip), %rsi      # 0xab0c
leaq 0x8a75(%rip), %rdx      # 0xab0b
leaq 0x818a(%rip), %r9       # 0xa227
movl $0x2, %r8d
xorl %ecx, %ecx
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8a26(%rip), %rdi      # 0xaadf
leaq 0x8a8e(%rip), %rsi      # 0xab4e
movl $0x2, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8a1f(%rip), %rsi      # 0xab0c
leaq 0xbccc(%rip), %rdx      # 0xddc0
leaq 0x8a12(%rip), %r9       # 0xab0d
movl $0x2, %r8d
xorl %ecx, %ecx
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x89c8(%rip), %rdi      # 0xaadf
leaq 0x8a78(%rip), %rsi      # 0xab96
movl $0x4, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x89c1(%rip), %rsi      # 0xab0c
leaq 0x8a4b(%rip), %rdx      # 0xab9d
leaq 0x89fc(%rip), %r9       # 0xab55
movl $0x4, %r8d
xorl %ecx, %ecx
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8a4b(%rip), %rdi      # 0xabc0
leaq 0x80a8(%rip), %rsi      # 0xa224
movl $0x80, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x80, 0x10(%rdi)
leaq 0x8a9d(%rip), %rsi      # 0xac46
leaq 0x895c(%rip), %rdx      # 0xab0c
leaq 0x89e8(%rip), %r9       # 0xab9f
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8a32(%rip), %rdi      # 0xac02
leaq 0x8977(%rip), %rsi      # 0xab4e
movl $0x2, %edx
movl $0x80, %ecx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x80, 0x10(%rdi)
leaq 0x8a3d(%rip), %rsi      # 0xac46
leaq 0xbbb0(%rip), %rdx      # 0xddc0
leaq 0x89ca(%rip), %r9       # 0xabe1
movl $0x2, %r8d
xorl %ecx, %ecx
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x89f3(%rip), %rdi      # 0xac26
leaq 0x7fea(%rip), %rsi      # 0xa224
movl $0x80, %edx
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x440, (%rdi)          # imm = 0x440
movq $0x200, 0x8(%rdi)       # imm = 0x200
movq $0x80, 0x10(%rdi)
leaq 0x89dd(%rip), %rsi      # 0xac44
leaq 0x889e(%rip), %rdx      # 0xab0c
leaq 0x896c(%rip), %r9       # 0xabe1
xorl %ecx, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8a4c(%rip), %rdi      # 0xacda
leaq 0x8a66(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0x240, %ecx            # imm = 0x240
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x400, (%rdi)          # imm = 0x400
movl $0x240, %eax            # imm = 0x240
movq %rax, 0x8(%rdi)
movq %rax, 0x10(%rdi)
leaq 0x8843(%rip), %rsi      # 0xab0c
leaq 0x8a4f(%rip), %rdx      # 0xad1f
leaq 0x8972(%rip), %r9       # 0xac49
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x89e7(%rip), %rdi      # 0xacda
leaq 0x8a01(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0x400, %ecx            # imm = 0x400
xorl %eax, %eax
callq 0x1080
movl $0x400, %eax            # imm = 0x400
movq %rsp, %rdi
movq %rax, (%rdi)
movq $0x240, 0x8(%rdi)       # imm = 0x240
movq %rax, 0x10(%rdi)
leaq 0x87de(%rip), %rsi      # 0xab0c
leaq 0x89ea(%rip), %rdx      # 0xad1f
leaq 0x8a05(%rip), %r9       # 0xad41
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8982(%rip), %rdi      # 0xacda
leaq 0x899c(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0x640, %ecx            # imm = 0x640
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x400, (%rdi)          # imm = 0x400
movq $0x240, 0x8(%rdi)       # imm = 0x240
movq $0x640, 0x10(%rdi)      # imm = 0x640
leaq 0x8776(%rip), %rsi      # 0xab0c
leaq 0x8982(%rip), %rdx      # 0xad1f
leaq 0x8a9e(%rip), %r9       # 0xae42
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x891a(%rip), %rdi      # 0xacda
leaq 0x8934(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0x648, %ecx            # imm = 0x648
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x400, (%rdi)          # imm = 0x400
movq $0x240, 0x8(%rdi)       # imm = 0x240
movq $0x648, 0x10(%rdi)      # imm = 0x648
leaq 0x870e(%rip), %rsi      # 0xab0c
leaq 0x891a(%rip), %rdx      # 0xad1f
leaq 0x8bc7(%rip), %r9       # 0xafd3
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x88b2(%rip), %rdi      # 0xacda
leaq 0x88cc(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0xc80, %ecx            # imm = 0xC80
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x400, (%rdi)          # imm = 0x400
movq $0x240, 0x8(%rdi)       # imm = 0x240
movq $0xc80, 0x10(%rdi)      # imm = 0xC80
leaq 0x86a6(%rip), %rsi      # 0xab0c
leaq 0x88b2(%rip), %rdx      # 0xad1f
leaq 0x8cf2(%rip), %r9       # 0xb166
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x884a(%rip), %rdi      # 0xacda
leaq 0x8864(%rip), %r8       # 0xacfb
movl $0x400, %esi            # imm = 0x400
movl $0x240, %edx            # imm = 0x240
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x400, (%rdi)          # imm = 0x400
movq $0x240, 0x8(%rdi)       # imm = 0x240
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x863e(%rip), %rsi      # 0xab0c
leaq 0x884a(%rip), %rdx      # 0xad1f
leaq 0x8fab(%rip), %r9       # 0xb487
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x87e2(%rip), %rdi      # 0xacda
leaq 0x87fc(%rip), %r8       # 0xacfb
movl $0x200, %esi            # imm = 0x200
movl $0x440, %edx            # imm = 0x440
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x200, (%rdi)          # imm = 0x200
movq $0x440, 0x8(%rdi)       # imm = 0x440
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x85d6(%rip), %rsi      # 0xab0c
leaq 0x87e2(%rip), %rdx      # 0xad1f
leaq 0x8f84(%rip), %r9       # 0xb4c8
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x877a(%rip), %rdi      # 0xacda
leaq 0x8794(%rip), %r8       # 0xacfb
movl $0x100, %esi            # imm = 0x100
movl $0x540, %edx            # imm = 0x540
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movl $0x100, %eax            # imm = 0x100
movq %rsp, %rdi
movq %rax, (%rdi)
movq $0x540, 0x8(%rdi)       # imm = 0x540
movq %rax, 0x10(%rdi)
leaq 0x8571(%rip), %rsi      # 0xab0c
leaq 0x877d(%rip), %rdx      # 0xad1f
leaq 0x8f60(%rip), %r9       # 0xb509
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8715(%rip), %rdi      # 0xacda
leaq 0x872f(%rip), %r8       # 0xacfb
movl $0x200, %esi            # imm = 0x200
movl $0x120, %edx            # imm = 0x120
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x200, (%rdi)          # imm = 0x200
movq $0x120, 0x8(%rdi)       # imm = 0x120
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8509(%rip), %rsi      # 0xab0c
leaq 0x8715(%rip), %rdx      # 0xad1f
leaq 0x8f39(%rip), %r9       # 0xb54a
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x86ad(%rip), %rdi      # 0xacda
leaq 0x86c7(%rip), %r8       # 0xacfb
movl $0x100, %esi            # imm = 0x100
movl $0x220, %edx            # imm = 0x220
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movl $0x100, %r14d           # imm = 0x100
movq %rsp, %rdi
movq %r14, (%rdi)
movq $0x220, 0x8(%rdi)       # imm = 0x220
movq %r14, 0x10(%rdi)
leaq 0x84a3(%rip), %rsi      # 0xab0c
leaq 0x86af(%rip), %rdx      # 0xad1f
leaq 0x8f14(%rip), %r9       # 0xb58b
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8647(%rip), %rdi      # 0xacda
leaq 0x8661(%rip), %r8       # 0xacfb
movl $0x100, %esi            # imm = 0x100
movl $0x90, %edx
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq %r14, (%rdi)
movq $0x90, 0x8(%rdi)
movq %r14, 0x10(%rdi)
leaq 0x8443(%rip), %rsi      # 0xab0c
leaq 0x864f(%rip), %rdx      # 0xad1f
leaq 0x8ef5(%rip), %r9       # 0xb5cc
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x85eb(%rip), %rdi      # 0xacda
leaq 0x8605(%rip), %r8       # 0xacfb
movl $0x80, %esi
movl $0x110, %edx            # imm = 0x110
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x80, (%rdi)
movq $0x110, 0x8(%rdi)       # imm = 0x110
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x83df(%rip), %rsi      # 0xab0c
leaq 0x85eb(%rip), %rdx      # 0xad1f
leaq 0x8ed2(%rip), %r9       # 0xb60d
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
je 0x2756
movl %ebx, %eax
addq $0x18, %rsp
popq %rbx
popq %r14
retq
leaq 0x857d(%rip), %rdi      # 0xacda
leaq 0x8597(%rip), %r8       # 0xacfb
movl $0x80, %esi
movl $0x48, %edx
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x80, (%rdi)
movq $0x48, 0x8(%rdi)
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x8371(%rip), %rsi      # 0xab0c
leaq 0x857d(%rip), %rdx      # 0xad1f
leaq 0x8ea5(%rip), %r9       # 0xb64e
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
leaq 0x8519(%rip), %rdi      # 0xacda
leaq 0x8533(%rip), %r8       # 0xacfb
movl $0x40, %esi
movl $0x88, %edx
movl $0x100, %ecx            # imm = 0x100
xorl %eax, %eax
callq 0x1080
movq %rsp, %rdi
movq $0x40, (%rdi)
movq $0x88, 0x8(%rdi)
movq $0x100, 0x10(%rdi)      # imm = 0x100
leaq 0x830d(%rip), %rsi      # 0xab0c
leaq 0x8519(%rip), %rdx      # 0xad1f
leaq 0x8e82(%rip), %r9       # 0xb68f
movl $0x21, %ecx
xorl %r8d, %r8d
callq 0x43df
testl %eax, %eax
jne 0x274c
movl $0xa, %edi
callq 0x1040
xorl %ebx, %ebx
jmp 0x274c