// File: /workspace/github_cpp_makefile_star2_O2/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_add_invoker()
BOOST_AUTO_TEST_CASE(test_add) {
	BOOST_TEST(
			   add_256("0xd323232323232323232323232323232dd323232323232323232323232323232d",
					   "0x1111111111111111111111111111111111111111111111111111111111111111")
			   ==
			   "0xe434343434343434343434343434343ee434343434343434343434343434343e");
	BOOST_TEST(
			   add_256("0xeff23",
					   "0xfe")
			   ==
			   "0xf0021");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
leaq 0x34af8(%rip), %r14     # 0x5a873
movq %r14, -0x68(%rbp)
leaq 0x34afc(%rip), %r15     # 0x5a882
movq %r15, -0x60(%rbp)
leaq -0x200(%rbp), %rbx
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x34ab0(%rip), %rsi     # 0x5a86a
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3d4e1(%rip), %rsi     # 0x632ae
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x250(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x68(%rbp), %rsi
pushq $0x8
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x58(%rbp)
movq %r15, -0x50(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x34a27(%rip), %rsi     # 0x5a86a
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3d467(%rip), %rsi     # 0x632bd
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x240(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x58(%rbp), %rsi
pushq $0x8
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x48(%rbp)
movq %r15, -0x40(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x3499e(%rip), %rsi     # 0x5a86a
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3d3ee(%rip), %rsi     # 0x632cd
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x230(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x48(%rbp), %rsi
pushq $0x8
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
callq 0x26068
movq %r14, -0x38(%rbp)
movq %r15, -0x30(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x34910(%rip), %rsi     # 0x5a86a
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3d36d(%rip), %rsi     # 0x632da
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x220(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x38(%rbp), %rsi
pushq $0x8
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %r14, -0x28(%rbp)
movq %r15, -0x20(%rbp)
movl $0x198, %edx            # imm = 0x198
movq %rbx, %rdi
xorl %esi, %esi
callq 0xf300
movq %rbx, %rdi
callq 0x31ddc
pushq $0x22
popq %rsi
movq %rbx, %rdi
callq 0xf630
leaq 0x34887(%rip), %rsi     # 0x5a86a
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3d2f7(%rip), %rsi     # 0x632ed
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq -0x200(%rbp), %rdi
callq 0x31e0e
movq (%rax), %rdx
leaq -0x210(%rbp), %rcx
movq %rdx, (%rcx)
addq 0x8(%rax), %rdx
movq %rdx, 0x8(%rcx)
leaq -0x28(%rbp), %rsi
pushq $0x8
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
addq $0x238, %rsp            # imm = 0x238
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x26051
jmp 0x26051
jmp 0x26051
jmp 0x26051
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %rbx, %rdi
callq 0xf9a0