// File: /workspace/github_cpp_makefile_star2_O2/yanniss[P]souffle-num-addon/num256_test.cpp
// Function: test_sub_invoker()
BOOST_AUTO_TEST_CASE(test_sub) {
	BOOST_TEST(
			   sub_256("0xd323232323232323232323232323232dd323232323232323232323232323232d",
					   "0x1111111111111111111111111111111111111111111111111111111111111111")
			   ==
			   "0xc212121212121212121212121212121cc212121212121212121212121212121c");
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x238, %rsp            # imm = 0x238
leaq 0x34613(%rip), %r14     # 0x5a873
movq %r14, -0x68(%rbp)
leaq 0x34617(%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 0x347be(%rip), %rsi     # 0x5aa5d
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3cffc(%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 $0x15
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 0x34735(%rip), %rsi     # 0x5aa5d
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3cf82(%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 $0x15
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 0x346ac(%rip), %rsi     # 0x5aa5d
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3cf09(%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 $0x15
popq %rdx
callq 0x1cad0
leaq -0x200(%rbp), %rdi
callq 0x31e52
callq 0x2654e
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 0x3461e(%rip), %rsi     # 0x5aa5d
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3ce88(%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 $0x15
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 0x34595(%rip), %rsi     # 0x5aa5d
leaq -0x200(%rbp), %rdi
callq 0xf560
leaq 0x3ce12(%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 $0x15
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 0x26536
jmp 0x26536
jmp 0x26536
jmp 0x26536
movq %rax, %rbx
leaq -0x200(%rbp), %rdi
callq 0x31e52
movq %rbx, %rdi
callq 0xf9a0
nop