// File: /workspace/github_cpp_makefile_star2_O2/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_sar::test_method()
BOOST_AUTO_TEST_CASE(test_sar) {
	BOOST_TEST(
			   sar_256("0x0",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000001")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xc000000000000000000000000000000000000000000000000000000000000000");
	BOOST_TEST(
			   sar_256("0xff",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x100",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x0101",
					   "0x8000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x00",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x01",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0xff",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x0100",
					   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff");
	BOOST_TEST(
			   sar_256("0x01",
					   "0x0000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0xfe",
					   "0x4000000000000000000000000000000000000000000000000000000000000000")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0xf8",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x7f");
	BOOST_TEST(
			   sar_256("0xfe",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x1");
	BOOST_TEST(
			   sar_256("0xff",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");
	BOOST_TEST(
			   sar_256("0x0100",
					   "0x7fffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff")
			   ==
			   "0x0");

}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x368, %rsp            # imm = 0x368
leaq 0x31d16(%rip), %r12     # 0x5a873
leaq -0x380(%rbp), %rsi
movq %r12, (%rsi)
leaq 0x31d14(%rip), %r13     # 0x5a882
movq %r13, 0x8(%rsi)
leaq 0x3d673(%rip), %rbx     # 0x661ec
leaq -0x370(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xb1, %edx
callq 0x1cad0
leaq 0x320f2(%rip), %r15     # 0x5ac8a
leaq 0x320ef(%rip), %rsi     # 0x5ac8e
movq %r15, %rdi
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x3211c(%rip), %rax     # 0x5acd1
movq %rax, 0x8(%rsi)
leaq -0x50(%rbp), %r14
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32d5f(%rip), %rax     # 0x5b92d
leaq -0x38(%rbp), %rcx
movq %rax, (%rcx)
leaq 0x32dae(%rip), %rax     # 0x5b98a
movq %rax, 0x8(%rcx)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x64161(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64e77(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
movq %rcx, 0x18(%rsi)
leaq -0x360(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xb1, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x350(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x340(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xb6, %edx
callq 0x1cad0
leaq 0x323cc(%rip), %rdi     # 0x5b02d
leaq 0x32026(%rip), %rsi     # 0x5ac8e
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r15, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32d02(%rip), %rax     # 0x5b98b
movq %rax, -0x38(%rbp)
leaq 0x32d55(%rip), %rax     # 0x5b9e9
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x640a9(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64dbf(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x330(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xb6, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x320(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x310(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xbb, %edx
callq 0x1cad0
leaq 0x32310(%rip), %rdi     # 0x5b02d
leaq 0x32076(%rip), %rsi     # 0x5ad9a
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x32cb3(%rip), %rax     # 0x5b9ea
movq %rax, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32ce1(%rip), %rax     # 0x5ba2d
movq %rax, -0x38(%rbp)
leaq 0x32d73(%rip), %rax     # 0x5baca
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63fe6(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64cfc(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x300(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xbb, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x2f0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x2e0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xc0, %edx
callq 0x1cad0
leaq 0x31fb5(%rip), %rdi     # 0x5ad95
leaq 0x31fb3(%rip), %rsi     # 0x5ad9a
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x32152(%rip), %r14     # 0x5af4c
movq %r14, 0x8(%rsi)
leaq -0x50(%rbp), %r15
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32cb8(%rip), %rax     # 0x5bacb
movq %rax, -0x38(%rbp)
leaq 0x32d4a(%rip), %rax     # 0x5bb68
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63f1f(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64c35(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2d0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xc0, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x2c0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x2b0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xc5, %edx
callq 0x1cad0
leaq 0x31fd4(%rip), %rdi     # 0x5ae7b
leaq 0x31eec(%rip), %rsi     # 0x5ad9a
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c9a(%rip), %rax     # 0x5bb69
movq %rax, -0x38(%rbp)
leaq 0x32d2d(%rip), %rax     # 0x5bc07
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63e63(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64b79(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x2a0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xc5, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x290(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x280(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xca, %edx
callq 0x1cad0
leaq 0x326f7(%rip), %rdi     # 0x5b65a
leaq 0x31e30(%rip), %rsi     # 0x5ad9a
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c7d(%rip), %rax     # 0x5bc08
movq %rax, -0x38(%rbp)
leaq 0x32d11(%rip), %rax     # 0x5bca7
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63da7(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64abd(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x270(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xca, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x260(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x250(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xcf, %edx
callq 0x1cad0
leaq 0x31f28(%rip), %rdi     # 0x5af47
movq %r14, %rsi
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c65(%rip), %rax     # 0x5bca8
movq %rax, -0x38(%rbp)
leaq 0x32cf7(%rip), %rax     # 0x5bd45
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63cef(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64a05(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x240(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xcf, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x230(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x220(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xd4, %edx
callq 0x1cad0
leaq 0x31f56(%rip), %rdi     # 0x5b02d
movq %r14, %rsi
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c4b(%rip), %rax     # 0x5bd46
movq %rax, -0x38(%rbp)
leaq 0x32cdd(%rip), %rax     # 0x5bde3
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63c37(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x6494d(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x210(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xd4, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x200(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x1f0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xd9, %edx
callq 0x1cad0
leaq 0x31c06(%rip), %rdi     # 0x5ad95
movq %r14, %rsi
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
movq %r15, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c31(%rip), %rax     # 0x5bde4
movq %rax, -0x38(%rbp)
leaq 0x32cc3(%rip), %rax     # 0x5be81
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63b7f(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64895(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x1e0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xd9, %ecx
movq %r15, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x1d0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x1c0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xde, %edx
callq 0x1cad0
leaq 0x32616(%rip), %rdi     # 0x5b85d
movq %r14, %rsi
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r14, 0x8(%rsi)
leaq -0x50(%rbp), %r14
movq %r14, %rdi
xorl %edx, %edx
callq 0x34160
leaq 0x32c13(%rip), %rax     # 0x5be82
movq %rax, -0x38(%rbp)
leaq 0x32ca7(%rip), %rax     # 0x5bf21
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63ac3(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x647d9(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x1b0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xde, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq 0x319b6(%rip), %r15     # 0x5ac8a
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x1a0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x190(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xe3, %edx
callq 0x1cad0
leaq 0x31d23(%rip), %rdi     # 0x5b02d
leaq 0x31f00(%rip), %rsi     # 0x5b211
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r15, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32bf0(%rip), %rax     # 0x5bf22
movq %rax, -0x38(%rbp)
leaq 0x32c43(%rip), %rax     # 0x5bf80
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x63a00(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64716(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x180(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xe3, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x170(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x160(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xe8, %edx
callq 0x1cad0
leaq 0x31662(%rip), %rdi     # 0x5aa28
leaq 0x320ed(%rip), %rsi     # 0x5b4ba
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x318f1(%rip), %rax     # 0x5acd1
movq %rax, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32b8c(%rip), %rax     # 0x5bf81
movq %rax, -0x38(%rbp)
leaq 0x32bdf(%rip), %rax     # 0x5bfdf
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x6393d(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64653(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x150(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xe8, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x140(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x130(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xed, %edx
callq 0x1cad0
leaq 0x32b57(%rip), %rdi     # 0x5bfe0
leaq 0x31e23(%rip), %rsi     # 0x5b2b3
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x32b42(%rip), %rax     # 0x5bfe5
movq %rax, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x347a6
leaq 0x32b32(%rip), %rax     # 0x5bfea
movq %rax, -0x38(%rbp)
leaq 0x32b86(%rip), %rax     # 0x5c049
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x6387a(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64590(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x120(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xed, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0x110(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0x100(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xf2, %edx
callq 0x1cad0
leaq 0x314dc(%rip), %rdi     # 0x5aa28
leaq 0x31d60(%rip), %rsi     # 0x5b2b3
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
leaq 0x3176b(%rip), %rax     # 0x5acd1
movq %rax, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32acf(%rip), %rax     # 0x5c04a
movq %rax, -0x38(%rbp)
leaq 0x32b22(%rip), %rax     # 0x5c0a8
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x637b7(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x644cd(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0xf0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xf2, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0xe0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0xd0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xf7, %edx
callq 0x1cad0
leaq 0x31786(%rip), %rdi     # 0x5ad95
leaq 0x31c9d(%rip), %rsi     # 0x5b2b3
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r15, 0x8(%rsi)
movq %r14, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32a72(%rip), %rax     # 0x5c0a9
movq %rax, -0x38(%rbp)
leaq 0x32ac5(%rip), %rax     # 0x5c107
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x636fb(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64411(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0xc0(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xf7, %ecx
movq %r14, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
leaq -0xb0(%rbp), %rsi
movq %r12, (%rsi)
movq %r13, 0x8(%rsi)
leaq -0xa0(%rbp), %rcx
movq %rbx, (%rcx)
movq %rbx, 0x8(%rcx)
movl $0xfc, %edx
callq 0x1cad0
leaq 0x32192(%rip), %rdi     # 0x5b85d
leaq 0x31be1(%rip), %rsi     # 0x5b2b3
callq 0x25ab9
leaq -0x60(%rbp), %rsi
movq %rax, (%rsi)
movq %r15, 0x8(%rsi)
leaq -0x50(%rbp), %rbx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x34496
leaq 0x32a11(%rip), %rax     # 0x5c108
movq %rax, -0x38(%rbp)
leaq 0x32a66(%rip), %rax     # 0x5c168
movq %rax, -0x30(%rbp)
leaq -0x80(%rbp), %rsi
movb $0x0, 0x8(%rsi)
leaq 0x6363b(%rip), %rax     # 0x8cd50
movq %rax, (%rsi)
leaq 0x64351(%rip), %rax     # 0x8da70
movq %rax, 0x10(%rsi)
leaq -0x38(%rbp), %rax
movq %rax, 0x18(%rsi)
leaq -0x90(%rbp), %rdx
movq %r12, (%rdx)
movq %r13, 0x8(%rdx)
andq $0x0, (%rsp)
pushq $0x1
popq %r8
pushq $0xe
popq %r9
movl $0xfc, %ecx
movq %rbx, %rdi
xorl %eax, %eax
callq 0x194c8
leaq -0x40(%rbp), %rdi
callq 0x373c8
addq $0x368, %rsp            # imm = 0x368
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
jmp 0x2978e
movq %rax, %rbx
leaq -0x40(%rbp), %rdi
callq 0x373c8
movq %rbx, %rdi
callq 0xf9a0